class TEST create make, default_create feature make is do end infix "@" (n: INTEGER): INTEGER do end x: TEST2 [TEST] end