
  TYPE
    jmt$name = record
      case kind: jmt$name_kind of
      = jmc$system_supplied_name =
        system_supplied_name: jmt$system_supplied_name,
      = jmc$user_supplied_name =
        user_supplied_name: jmt$user_supplied_name,
      casend,
    recend;

  TYPE
    jmt$name_kind = (jmc$system_supplied_name, jmc$user_supplied_name);

*copyc jmt$user_supplied_name
*copyc jmt$system_supplied_name
