{"name": ".fgets", "code": "char * fgets ( char * @@s@@ , int @@n@@ , FILE * @@stream@@ ) { return fgets ( @@s@@ , @@n@@ , @@stream@@ ) ; }", "source": [{"n": "stream", "t": {"T": 3, "t": "FILE"}, "location": "r16"}, {"n": "s", "t": {"T": 3, "t": "char"}, "location": "r56"}, {"n": "n", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}]}