Destination port numbers for TCP/UDP/SCTP.
Each element can be a 16-bit unsigned decimal number (e.g. "80") or range (e.g. "0-1023").
core.List<core.String>? destPorts;