extern void shim_hello(void);

int main(void) {
    shim_hello();
    return 0;
}