FUNC INT main() RETURN 42