CASE repckg OF
  ro_nochange : RETURN  (tspace);
  ro_wrap_as_tuple : RETURN  (one_tuples_of (tspace));
  ro_unwrap_tuple : RETURN  (factor1 (tspace));
  OTHERWISE : RETURN (?);
  END_CASE;