#include <stdio.h>

int main(void) {
        char bytes[] = "Hello, stdio!\n"; // 15 bytes

        printf("%s", bytes);

        return 0;
}