{"name": ".fprintf", "code": "int fprintf ( FILE * @@stream@@ , const char * @@format@@ , ... ) { return fprintf ( @@stream@@ , @@format@@ ) ; }", "source": [{"n": "stream", "t": {"T": 3, "t": "FILE"}, "location": "r56"}, {"n": "format", "t": {"T": 3, "t": "const char"}, "location": "r64"}]}