{"name": "in_child", "code": "__sighandler_t in_child ( ) { __sighandler_t @@result@@ ; ne_debug_init ( child_debug , Number L ) ; ne_debug ( Number L , String , test_name ) ; signal ( Number , ( __sighandler_t ) child_segv ) ; @@result@@ = signal ( Number , ( __sighandler_t ) child_segv ) ; flag_child = Number ; return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 9, "n": "__sighandler_t"}, "location": "r8"}]}
{"name": "child_segv", "code": "void child_segv ( ) { __pid_t @@v0@@ ; signal ( Number , Number L ) ; signal ( Number , Number L ) ; if ( use_colour && write ( Number , String , Number ) < Number ) exit ( Number ) ; if ( write ( Number , String , Number ) < Number ) exit ( Number ) ; if ( use_colour && write ( Number , String , Number ) < Number ) exit ( Number ) ; @@v0@@ = getpid ( ) ; kill ( @@v0@@ , Number ) ; minisleep ( ) ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "__pid_t", "s": 4}, "location": "r8"}]}