class C [G] convert to_reference: {reference C [G]} feature i: G to_reference: reference C [G] is do create Result end end