pub type processor_port_array_t = processor_array_t;