Symbol: ibport_num_to_idx