let
class A
{
var a := 1
method k(b : int) : int = b
method toto(b : int) : int = self.a + b
}
class B extends A
{
var c : string := "salut"
method k(b : int) : int = b + 2
method t(b : int) : int = (print(self.c); self.a)
}
var a : A := new A
var b : B := new B
in
a.k(1) + b.k(4);
b.t(1);
b.toto(2);
a.a;
b.c;
b.a
end