{"name": "rl_deprep_terminal", "code": "int rl_deprep_terminal ( ) { int @@result@@ ; int @@v1@@ ; @@result@@ = terminal_prepped ; if ( terminal_prepped ) { block_sigint ( ) ; @@v1@@ = fileno ( rl_instream ) ; if ( rl_enable_keypad ) rl_control_keypad ( Number L ) ; fflush ( rl_outstream ) ; if ( ( int ) set_tty_settings ( @@v1@@ , ( const struct termios * ) otio ) >= Number ) { terminal_prepped = Number ; rl_readline_state &= Number ; } @@result@@ = release_sigint ( ) ; } return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}]}