class Main {
    -- no features
};

class Main {
    i :Int <- 5;
    j :Int <- 5;
    --formals
    main(a:Int, b:Int): Int {a };
    --no formals
    main(): Int { a};
};