{"name": "packetbuf_hdralloc", "code": "__int64 __fastcall packetbuf_hdralloc ( int @@a1@@ ) { if ( @@a1@@ > ( unsigned __int8 ) hdrptr || ( unsigned __int16 ) packetbuf_totlen ( ) + @@a1@@ > Number ) return Number L ; hdrptr -= @@a1@@ ; return Number L ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}]}
{"name": "packetbuf_totlen", "code": "__int64 packetbuf_totlen ( ) { int @@v0@@ ; @@v0@@ = ( unsigned __int8 ) packetbuf_hdrlen ( ) ; return @@v0@@ + ( unsigned int ) packetbuf_datalen ( ) ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "int", "s": 4}, "location": "r32"}]}