Idris-dev/rts/libtest.c

int main() {}