pub type JmpBuf = *const JmpBufStruct;
This is the type of the first argument that is fed to longjmp.