test/Shell/Reproducer/Inputs/simple.c

#include <stdio.h>

void foo() {
    printf("testing\n");
}

int main (int argc, char const *argv[]) {
    foo();
    return 0;
}