#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;
}