type
    cmt$central_memory_port_number = (cmc$memory_port_0,
      cmc$memory_port_1, cmc$memory_port_2, cmc$memory_port_3);
