{"name": "rpl_remove_header", "code": "void * rpl_remove_header ( ) { void * @@result@@ ; unsigned __int8 @@v1@@ ; uip_ext_len = Number ; @@result@@ = ( void * ) * ( ( unsigned __int8 * ) & uip_aligned_buf + Number ) ; if ( ! * ( ( _BYTE * ) & uip_aligned_buf + Number ) ) { * ( ( _BYTE * ) & uip_aligned_buf + Number ) = * ( ( _BYTE * ) & uip_aligned_buf + ( unsigned __int8 ) uip_ext_len + Number ) ; @@v1@@ = * ( ( _BYTE * ) & uip_aligned_buf + Number ) ; uip_len = uip_len - * ( ( unsigned __int8 * ) & uip_aligned_buf + ( unsigned __int8 ) uip_ext_len + Number ) - Number ; * ( ( _BYTE * ) & uip_aligned_buf + Number ) = * ( ( _BYTE * ) & uip_aligned_buf + Number ) - * ( ( _BYTE * ) & uip_aligned_buf + ( unsigned __int8 ) uip_ext_len + Number ) - Number ; if ( @@v1@@ < * ( ( _BYTE * ) & uip_aligned_buf + Number ) ) -- * ( ( _BYTE * ) & uip_aligned_buf + Number ) ; @@result@@ = memmove ( ( char * ) & uip_aligned_buf + ( unsigned __int8 ) uip_ext_len + Number , ( char * ) & uip_aligned_buf + ( unsigned __int8 ) uip_ext_len + Number , ( unsigned __int16 ) uip_len - Number ) ; } return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 3, "t": "void"}, "location": "r8"}, {"n": "v1", "t": {"T": 1, "n": "unsigned __int8", "s": 1}, "location": "s5"}]}