class TEST1 [G, H, I] inherit TEST2 [I] feature ad_hoc_record_by_signature (a_sig: I): LIST [I] do end end