idris-0.9.4: rts/libtest.c

int main() {}