test/t01_ret42.nsc

global i32 main(void) { return 42; }