
  TYPE
    jmt$output_termination_options = array [1 .. * ] of
          jmt$output_termination_option;

  TYPE
    jmt$output_termination_option = record
      case key: jmt$attribute_keys of
      = jmc$null_attribute =
        ,
      = jmc$output_state_set =
        output_state_set: jmt$output_state_set,
      = jmc$termination_reason =
        reason: ost$name,
      casend,
    recend;

*copyc jmt$attribute_keys
*copyc jmt$output_state_set
*copyc ost$name
