C = terralib.includec("stdio.h") terra hello(argc : int, argv : &rawstring) C.printf("Hello world!\n") return 0 end