Fatal error: exception Semantic.Failure("main function cannot have formal parameters")
