> -typedef long int __jmp_buf[8]; > +# if __x86_64__ ifdef > +typedef long long int __jmp_buf[8]; We need to be very sure this cannot perturb anyone's ABI, e.g. mangled names and the like. I'm not aware of any such issue with __jmp_buf in particular, but we must be circumspect. Thanks, Roland