Pointer to jmp_buf record
Source position: setjumph.inc line 21
type PJmp_buf = ^jmp_buf;
No notes exist for this page yet.