expanded class AUX_WOJ01_EXP insert AUX_WOJ01_DEF feature {ANY} n: INTEGER set (i: INTEGER) do n := i end end -- class AUX_WOJ01_EXP