For hosted programs, main() defaults to returning 0