- redef readable redef writable redef var _e: H
- redef var _f_: Char = 'N'
- redef fun f: Char do return _f_ end
- redef fun f=(x: Char) do _f_ = x end
+ redef var e: H is redef writable
+ redef var f_: Char = 'N' is redef writable
+ redef fun f: Char do return f_ end
+ redef fun f=(x: Char) do f_ = x end