int printf(const char* restrict, ...);

int main() {
        printf("hello world\n");
}