define JMP_BUF generally