pollution: ukey_jmp_buf
typedef int ukey_jmp_buf[68]; 

pollution: ukey_setjmp
extern int ukey_setjmp(ukey_jmp_buf) __attribute__((__returns_twice__));