int main() { char buf[100]; return 0; }