#include <cia/def.h>
#include <stdio.h>

int main(int argc, char **argv, char **envp) {
    // char string[] = "Hello, world!\n";
    // fwrite(string, 1, sizeof string-1, stdout);
    printf("Hello, world! %d\n", 4);
    return 0;
}