keie 6010f7b584 Made the buffer long enough for the machine state on most machines.

1984-09-24 15:18:20 +00:00

..

setjmp.h

Made the buffer long enough for the machine state on most machines.

1984-09-24 15:18:20 +00:00