class TEST2 feature is_valid (val: INTEGER): BOOLEAN do Result := val = 1 end end