
  TYPE
    amt$segment_pointer = record
      case kind: amt$pointer_kind of
      = amc$cell_pointer =
        cell_pointer: ^cell,
      = amc$heap_pointer =
        heap_pointer: ^HEAP ( * ),
      = amc$sequence_pointer =
        sequence_pointer: ^SEQ ( * ),
      casend,
    recend;

*copyc amt$pointer_kind
