

  TYPE
    pmt$loaded_address = record
      case kind: pmt$loaded_address_kind of
      = pmc$procedure_address =
        pointer_to_procedure: ^procedure,
      = pmc$data_address =
        pointer_to_data: ^cell,
      casend,
    recend,

    pmt$loaded_address_kind = (pmc$procedure_address, pmc$data_address);
