(broadcast
    (source-ip '10.0.1.5')
    (dest-ip
        ('
            '10.0.20.10' 
            '10.0.20.11' 
            '10.0.12.12'
        )
    )
    (source-port 8000)
    (dest-port 8000)
)