keie 6010f7b584 Made the buffer long enough for the machine state on most machines.		1984-09-24 15:18:20 +00:00
..
setjmp.h