{"name": "readn", "code": "char * __fastcall readn ( int @@a1@@ , char * @@a2@@ , size_t @@a3@@ ) { char * @@buf@@ ; int @@v6@@ ; @@buf@@ = @@a2@@ ; while ( @@a3@@ ) { @@v6@@ = read ( @@a1@@ , @@buf@@ , @@a3@@ ) ; if ( @@v6@@ <= Number ) return ( char * ) ( unsigned int ) @@v6@@ ; @@a3@@ -= @@v6@@ ; @@buf@@ += @@v6@@ ; } return ( char * ) ( @@buf@@ - @@a2@@ ) ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "char"}, "location": "r64"}, {"n": "v6", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}, {"n": "buf", "t": {"T": 3, "t": "char"}, "location": "s48"}]}