class AddOneProc
        super Proc1[Ref[Int]]
        redef fun call(x)
        do
                x.item += 1
        end
end