Removed extraneous setjmp and alarm code