class Main { }; class Main inherits Object { }; class Main inherits Object { i:Int <-5; j:Int<-6; };