> I don't know why we have liveOffsets for > the handlers in the release version -- we never use it. It seems to be a historical accident. As far as I can tell, it was never used. In the move from version 1999-1-20 to version 1999-2-23, the genCont function of backend.fun was generalized to work for both handlers and conts. The liveOffsets field appeared and was unused.