int puts(const char *s);
int main() { puts("hello, world"); return 0; }