{"name": "sig_die", "code": "void __fastcall __noreturn sig_die ( const char * @@a1@@ , int @@a2@@ ) { fprintf ( stderr , String , @@a1@@ ) ; if ( @@a2@@ ) { fflush ( stderr ) ; f_exit ( ) ; fflush ( stderr ) ; signal ( Number , Number L ) ; abort ( ) ; } exit ( Number ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}]}