{"name": "compress_hdr_ipv6", "code": "__int64 compress_hdr_ipv6 ( ) { __int64 @@result@@ ; * ( _BYTE * ) rime_ptr = Number ; memcpy ( ( char * ) rime_ptr + ( unsigned __int8 ) ++ rime_hdr_len , & uip_aligned_buf , Number ) ; rime_hdr_len += Number ; @@result@@ = ( unsigned int ) ( unsigned __int8 ) uncomp_hdr_len + Number ; uncomp_hdr_len += Number ; return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}