class Main {
    main(a:Int, b:Int): Int { }; --nil expr
    main(a:Int b:Int): Int { }; --missing , in formals
    main(a:Int b:Int): Int { a<-1 }; --missing , in formals
    main(a~Int, b:Int): Int { }; --missing : in formals
    main(a~Int, b:Int): Int { a<- 1 }; --missing : in formals
    main(a~Int): Int { }; --missing : in formals
    main(a~Int): Int { a<-1 }; --missing : in formals
    main(a~Int: Int { }; --missing : in formals
    main(a~Int: Int { a<- 1 }; --missing : in formals
    main(a:int, b:Int): Int { }; --wrong type in formals
    main(a:int, b:Int): Int { a <- 1}; --wrong type in formals
    main(a:Int, B:Int): Int { }; --wrong id in formals
    main(a:Int, B:Int): Int { a <- 1}; --wrong id in formals
    main(,): Int { }; --malformed formals
    main(,): Int { a<- 1}; --malformed formals
    main(, b:Int): Int { a<-1 }; --malformed formals
    main(b:Int, ): Int { }; --malformed formals
    main(,) Int { }; --malformed formals 
    main(,): int { }; --malformed formals 
};