based on patch submitted by Jaydeep Patil, with minor changes.
typedef unsigned long long __jmp_buf[23];