{"name": ".vfprintf", "code": "int vfprintf ( FILE * @@s@@ , const char * @@format@@ , __gnuc_va_list @@arg@@ ) { return vfprintf ( @@s@@ , @@format@@ , @@arg@@ ) ; }", "source": [{"n": "arg", "t": {"T": 1, "n": "__gnuc_va_list", "s": 8}, "location": "r16"}, {"n": "s", "t": {"T": 3, "t": "FILE"}, "location": "r56"}, {"n": "format", "t": {"T": 3, "t": "const char"}, "location": "r64"}]}