class DataInfoInt

pri info : Int;

meth SetInfo =^ ( val i: Int ·

Info:= i;

)

end

meth GetInfo =^ ( res i: Int ·

i:= Info;

)

end

end