expanded class BB [G] feature attr: detachable G set_attr (a: like attr) do attr := a end end