
  TYPE
    amt$pointer_kind = (amc$cell_pointer, amc$heap_pointer,
          amc$sequence_pointer);
