module helloworld;
extern printf;

@Integer main [
    printf("Hello world!");
    return 0;
]