path: root/test/hello.c

int printf(const char *, ...);

int main(int argc) {
    return 42;
}