class AddOneFn
        super Fun1[Int,Int]

        redef fun call(x)
        do
                return x + 1
        end
end