string FILE->gets();
string FILE->printf(string format, mixed ... data);
string FILE->ungets(string s);
int FILE->getchar();