bug fix: bad offset for EFLAGS and USERESP
bug fix: return value in memchk()
reverting changes in int.h
bug fix: reset signal handlers
enhancement: proper signal handling