class BB [G -> CC rename f as h alias "()" end] feature f (c: G) do c (4) end end