
  TYPE
    tmt$flag_status = (tmc$normal_flag_status, tmc$flag_not_set, tmc$invalid_flag_id);
