Fatal error: exception Semantic.Failure("main function should not return anything")
