linkname "";
uses c89:stdio:puts as puts;

int main() {
    puts("Hello world!");
    return 0;
}