Handle SIGINT during user code