Thanks -- that looks interesting.  One problem is that
a Jmp_Buf takes 200 bytes, so the s7_cell size is now
240 bytes (rather than 48) -- I think we'd want a
pointer to a Jmp_Buf.

_______________________________________________
Cmdist mailing list
[email protected]
https://cm-mail.stanford.edu/mailman/listinfo/cmdist

Reply via email to