Symbol: ip4_port_mask