#include <stdio.h>
int main(void)
{
    printf("printf(\"Hello, world!\\n\");");
}