{"name": ".setbuf", "code": "void setbuf ( FILE * @@stream@@ , char * @@buf@@ ) { setbuf ( @@stream@@ , @@buf@@ ) ; }", "source": [{"n": "stream", "t": {"T": 3, "t": "FILE"}, "location": "r56"}, {"n": "buf", "t": {"T": 3, "t": "char"}, "location": "r64"}]}