Subject: Re: include/setjmp.h including machine/setjmp_jblen.h ...
To: None <Chris_G_Demetriou@LAGAVULIN.PDL.CS.CMU.EDU>
From: Charles M. Hannum <mycroft@gnu.ai.mit.edu>
List: tech-ports
Date: 12/05/1994 00:25:23 
   > This should depend on the machine. I.e., the typedef for jmp_buf should be
   > completely in machine/setjmp.h, not only the length of it. This way, you
   > could even have more sophisticated jmp_bufs, e.g. on machines with most
   > registers 64 bits, but one or two with 32 bits, which would otherwise
   > require some hackery.

It also means that jmp_buf can be a structure, and the elements can
actually be named.