# tcp dport 80-90 dnat to [2001:838:35f:1::]-[2001:838:35f:2::]:80-100
[
    {
        "match": {
            "left": {
                "payload": {
                    "field": "dport",
                    "protocol": "tcp"
                }
            },
	    "op": "==",
            "right": {
                "range": [ 80, 90 ]
            }
        }
    },
    {
        "dnat": {
            "addr": {
                "range": [ "2001:838:35f:1::", "2001:838:35f:2::" ]
            },
            "port": {
                "range": [ 80, 100 ]
            }
        }
    }
]

# tcp dport 80-90 dnat to [2001:838:35f:1::]-[2001:838:35f:2::]:100
[
    {
        "match": {
            "left": {
                "payload": {
                    "field": "dport",
                    "protocol": "tcp"
                }
            },
	    "op": "==",
            "right": {
                "range": [ 80, 90 ]
            }
        }
    },
    {
        "dnat": {
            "addr": {
                "range": [ "2001:838:35f:1::", "2001:838:35f:2::" ]
            },
            "port": 100
        }
    }
]

# tcp dport 80-90 dnat to [2001:838:35f:1::]:80
[
    {
        "match": {
            "left": {
                "payload": {
                    "field": "dport",
                    "protocol": "tcp"
                }
            },
	    "op": "==",
            "right": {
                "range": [ 80, 90 ]
            }
        }
    },
    {
        "dnat": {
            "addr": "2001:838:35f:1::",
            "port": 80
        }
    }
]