- redef fun foo(a: T) do a.output
- redef fun bar(b: U) do b.output
- redef fun baz(i: Int) do i.output
- redef fun output do 'B'.output
+ redef fun foo(a: T) do a.out
+ redef fun bar(b: U) do b.out
+ redef fun baz(i: Int) do i.out
+ redef fun out do 'B'.output