class TEST1 create set feature -- Settings set (r1: REAL_32; r2: REAL_64) do r32 := r1 r64 := r2 end feature -- Access r32: REAL_32 r64: REAL_64 end