class TEST1 feature query (a: INTEGER): REAL_64 is do Result := a / 3 end end