description p4lang: sr te over mpls tail+head addrouter r1 int eth1 eth 0000.0000.1111 $1a$ $1b$ int eth2 eth 0000.0000.1111 $2b$ $2a$ ! vrf def v1 rd 1:1 label-mode per-prefix exit vrf def v9 rd 1:1 exit int lo9 vrf for v9 ipv4 addr 10.10.10.227 255.255.255.255 exit int eth1 vrf for v9 ipv4 addr 10.11.12.254 255.255.255.0 exit int eth2 exit server dhcp4 eth1 pool 10.11.12.1 10.11.12.99 gateway 10.11.12.254 netmask 255.255.255.0 dns-server 10.10.10.227 domain-name p4l static 0000.0000.2222 10.11.12.111 interface eth1 vrf v9 exit int lo0 vrf for v1 ipv4 addr 2.2.2.101 255.255.255.255 ipv6 addr 4321::101 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff exit int lo1 vrf for v1 ipv4 addr 2.2.2.201 255.255.255.255 ipv6 addr 4321::201 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff exit router lsrp4 1 vrf v1 router 4.4.4.1 segrout 10 1 justadvert lo0 exit router lsrp6 1 vrf v1 router 6.6.6.1 segrout 10 1 justadvert lo0 exit int sdn1 vrf for v1 ipv4 addr 1.1.1.1 255.255.255.0 ipv6 addr 1234:1::1 ffff:ffff:: ipv6 ena mpls enable router lsrp4 1 ena router lsrp6 1 ena exit int sdn2 vrf for v1 ipv4 addr 1.1.2.1 255.255.255.0 ipv6 addr 1234:2::1 ffff:ffff:: ipv6 ena mpls enable router lsrp4 1 ena router lsrp6 1 ena exit int sdn3 vrf for v1 ipv4 addr 1.1.3.1 255.255.255.0 ipv6 addr 1234:3::1 ffff:ffff:: ipv6 ena mpls enable router lsrp4 1 ena router lsrp6 1 ena exit int sdn4 vrf for v1 ipv4 addr 1.1.4.1 255.255.255.0 ipv6 addr 1234:4::1 ffff:ffff:: ipv6 ena mpls enable router lsrp4 1 ena router lsrp6 1 ena exit int tun11 tun sou lo0 tun dest 2.2.2.103 tun domain 2.2.2.103 tun vrf v1 tun mod srmpls vrf for v1 ipv4 addr 1.1.11.1 255.255.255.0 exit int tun12 tun sou lo0 tun dest 4321::103 tun domain 4321::103 tun vrf v1 tun mod srmpls vrf for v1 ipv6 addr 1234:11::1 ffff:ffff:: exit int tun21 tun sou lo0 tun dest 2.2.2.104 tun domain 2.2.2.104 tun vrf v1 tun mod srmpls vrf for v1 ipv4 addr 1.1.12.1 255.255.255.0 exit int tun22 tun sou lo0 tun dest 4321::104 tun domain 4321::104 tun vrf v1 tun mod srmpls vrf for v1 ipv6 addr 1234:12::1 ffff:ffff:: exit int tun31 tun sou lo0 tun dest 2.2.2.105 tun domain 2.2.2.105 tun vrf v1 tun mod srmpls vrf for v1 ipv4 addr 1.1.13.1 255.255.255.0 exit int tun32 tun sou lo0 tun dest 4321::105 tun domain 4321::105 tun vrf v1 tun mod srmpls vrf for v1 ipv6 addr 1234:13::1 ffff:ffff:: exit int tun41 tun sou lo0 tun dest 2.2.2.106 tun domain 2.2.2.106 tun vrf v1 tun mod srmpls vrf for v1 ipv4 addr 1.1.14.1 255.255.255.0 exit int tun42 tun sou lo0 tun dest 4321::106 tun domain 4321::106 tun vrf v1 tun mod srmpls vrf for v1 ipv6 addr 1234:14::1 ffff:ffff:: exit server p4lang p4 interconnect eth2 export-vrf v1 1 export-port sdn1 1 export-port sdn2 2 export-port sdn3 3 export-port sdn4 4 export-port tun11 11 export-port tun12 12 export-port tun21 21 export-port tun22 22 export-port tun31 31 export-port tun32 32 export-port tun41 41 export-port tun42 42 vrf v9 exit ipv4 route v1 2.2.2.203 255.255.255.255 1.1.11.2 ipv4 route v1 2.2.2.204 255.255.255.255 1.1.12.2 ipv4 route v1 2.2.2.205 255.255.255.255 1.1.13.2 ipv4 route v1 2.2.2.206 255.255.255.255 1.1.14.2 ipv6 route v1 4321::203 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:11::2 ipv6 route v1 4321::204 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:12::2 ipv6 route v1 4321::205 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:13::2 ipv6 route v1 4321::206 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:14::2 ! addother r2 feature mpls int eth1 eth 0000.0000.2222 $1b$ $1a$ int eth2 eth 0000.0000.2222 $2a$ $2b$ int eth3 eth 0000.0000.2222 $3a$ $3b$ int eth4 eth 0000.0000.2222 $4a$ $4b$ int eth5 eth 0000.0000.2222 $5a$ $5b$ int eth6 eth 0000.0000.2222 $6a$ $6b$ ! ! addrouter r3 int eth1 eth 0000.0000.3333 $3b$ $3a$ ! vrf def v1 rd 1:1 label-mode per-prefix exit int lo0 vrf for v1 ipv4 addr 2.2.2.103 255.255.255.255 ipv6 addr 4321::103 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff exit int lo1 vrf for v1 ipv4 addr 2.2.2.203 255.255.255.255 ipv6 addr 4321::203 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff exit router lsrp4 1 vrf v1 router 4.4.4.3 segrout 10 3 justadvert lo0 justadvert eth1 exit router lsrp6 1 vrf v1 router 6.6.6.3 segrout 10 3 justadvert lo0 justadvert eth1 exit int eth1 vrf for v1 ipv4 addr 1.1.1.2 255.255.255.0 ipv6 addr 1234:1::2 ffff:ffff:: mpls enable router lsrp4 1 ena router lsrp6 1 ena exit int tun11 tun sou lo0 tun dest 2.2.2.101 tun domain 2.2.2.101 tun vrf v1 tun mod srmpls vrf for v1 ipv4 addr 1.1.11.2 255.255.255.0 exit int tun12 tun sou lo0 tun dest 4321::101 tun domain 4321::101 tun vrf v1 tun mod srmpls vrf for v1 ipv6 addr 1234:11::2 ffff:ffff:: exit ipv4 route v1 2.2.2.201 255.255.255.255 1.1.11.1 ipv4 route v1 2.2.2.204 255.255.255.255 1.1.11.1 ipv4 route v1 2.2.2.205 255.255.255.255 1.1.11.1 ipv4 route v1 2.2.2.206 255.255.255.255 1.1.11.1 ipv6 route v1 4321::201 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:11::1 ipv6 route v1 4321::204 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:11::1 ipv6 route v1 4321::205 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:11::1 ipv6 route v1 4321::206 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:11::1 ! addrouter r4 int eth1 eth 0000.0000.4444 $4b$ $4a$ ! vrf def v1 rd 1:1 label-mode per-prefix exit int lo0 vrf for v1 ipv4 addr 2.2.2.104 255.255.255.255 ipv6 addr 4321::104 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff exit int lo1 vrf for v1 ipv4 addr 2.2.2.204 255.255.255.255 ipv6 addr 4321::204 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff exit router lsrp4 1 vrf v1 router 4.4.4.4 segrout 10 4 justadvert lo0 justadvert eth1 exit router lsrp6 1 vrf v1 router 6.6.6.4 segrout 10 4 justadvert lo0 justadvert eth1 exit int eth1 vrf for v1 ipv4 addr 1.1.2.2 255.255.255.0 ipv6 addr 1234:2::2 ffff:ffff:: mpls enable router lsrp4 1 ena router lsrp6 1 ena exit int tun11 tun sou lo0 tun dest 2.2.2.101 tun domain 2.2.2.101 tun vrf v1 tun mod srmpls vrf for v1 ipv4 addr 1.1.12.2 255.255.255.0 exit int tun12 tun sou lo0 tun dest 4321::101 tun domain 4321::101 tun vrf v1 tun mod srmpls vrf for v1 ipv6 addr 1234:12::2 ffff:ffff:: exit ipv4 route v1 2.2.2.201 255.255.255.255 1.1.12.1 ipv4 route v1 2.2.2.203 255.255.255.255 1.1.12.1 ipv4 route v1 2.2.2.205 255.255.255.255 1.1.12.1 ipv4 route v1 2.2.2.206 255.255.255.255 1.1.12.1 ipv6 route v1 4321::201 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:12::1 ipv6 route v1 4321::203 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:12::1 ipv6 route v1 4321::205 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:12::1 ipv6 route v1 4321::206 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:12::1 ! addrouter r5 int eth1 eth 0000.0000.5555 $5b$ $5a$ ! vrf def v1 rd 1:1 label-mode per-prefix exit int lo0 vrf for v1 ipv4 addr 2.2.2.105 255.255.255.255 ipv6 addr 4321::105 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff exit int lo1 vrf for v1 ipv4 addr 2.2.2.205 255.255.255.255 ipv6 addr 4321::205 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff exit router lsrp4 1 vrf v1 router 4.4.4.5 segrout 10 5 justadvert lo0 justadvert eth1 exit router lsrp6 1 vrf v1 router 6.6.6.5 segrout 10 5 justadvert lo0 justadvert eth1 exit int eth1 vrf for v1 ipv4 addr 1.1.3.2 255.255.255.0 ipv6 addr 1234:3::2 ffff:ffff:: mpls enable router lsrp4 1 ena router lsrp6 1 ena exit int tun11 tun sou lo0 tun dest 2.2.2.101 tun domain 2.2.2.101 tun vrf v1 tun mod srmpls vrf for v1 ipv4 addr 1.1.13.2 255.255.255.0 exit int tun12 tun sou lo0 tun dest 4321::101 tun domain 4321::101 tun vrf v1 tun mod srmpls vrf for v1 ipv6 addr 1234:13::2 ffff:ffff:: exit ipv4 route v1 2.2.2.201 255.255.255.255 1.1.13.1 ipv4 route v1 2.2.2.203 255.255.255.255 1.1.13.1 ipv4 route v1 2.2.2.204 255.255.255.255 1.1.13.1 ipv4 route v1 2.2.2.206 255.255.255.255 1.1.13.1 ipv6 route v1 4321::201 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:13::1 ipv6 route v1 4321::203 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:13::1 ipv6 route v1 4321::204 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:13::1 ipv6 route v1 4321::206 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:13::1 ! addrouter r6 int eth1 eth 0000.0000.6666 $6b$ $6a$ ! vrf def v1 rd 1:1 label-mode per-prefix exit int lo0 vrf for v1 ipv4 addr 2.2.2.106 255.255.255.255 ipv6 addr 4321::106 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff exit int lo1 vrf for v1 ipv4 addr 2.2.2.206 255.255.255.255 ipv6 addr 4321::206 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff exit router lsrp4 1 vrf v1 router 4.4.4.6 segrout 10 6 justadvert lo0 justadvert eth1 exit router lsrp6 1 vrf v1 router 6.6.6.6 segrout 10 6 justadvert lo0 justadvert eth1 exit int eth1 vrf for v1 ipv4 addr 1.1.4.2 255.255.255.0 ipv6 addr 1234:4::2 ffff:ffff:: mpls enable router lsrp4 1 ena router lsrp6 1 ena exit int tun11 tun sou lo0 tun dest 2.2.2.101 tun domain 2.2.2.101 tun vrf v1 tun mod srmpls vrf for v1 ipv4 addr 1.1.14.2 255.255.255.0 exit int tun12 tun sou lo0 tun dest 4321::101 tun domain 4321::101 tun vrf v1 tun mod srmpls vrf for v1 ipv6 addr 1234:14::2 ffff:ffff:: exit ipv4 route v1 2.2.2.201 255.255.255.255 1.1.14.1 ipv4 route v1 2.2.2.203 255.255.255.255 1.1.14.1 ipv4 route v1 2.2.2.204 255.255.255.255 1.1.14.1 ipv4 route v1 2.2.2.205 255.255.255.255 1.1.14.1 ipv6 route v1 4321::201 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:14::1 ipv6 route v1 4321::203 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:14::1 ipv6 route v1 4321::204 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:14::1 ipv6 route v1 4321::205 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff 1234:14::1 ! r1 tping 100 10 1.1.1.2 /vrf v1 r1 tping 100 10 1234:1::2 /vrf v1 r1 tping 100 10 1.1.2.2 /vrf v1 r1 tping 100 10 1234:2::2 /vrf v1 r1 tping 100 10 1.1.3.2 /vrf v1 r1 tping 100 10 1234:3::2 /vrf v1 r1 tping 100 10 1.1.4.2 /vrf v1 r1 tping 100 10 1234:4::2 /vrf v1 r3 tping 100 10 1.1.1.2 /vrf v1 r3 tping 100 10 1234:1::2 /vrf v1 r3 tping 100 10 1.1.2.2 /vrf v1 r3 tping 100 10 1234:2::2 /vrf v1 r3 tping 100 10 1.1.3.2 /vrf v1 r3 tping 100 10 1234:3::2 /vrf v1 r3 tping 100 10 1.1.4.2 /vrf v1 r3 tping 100 10 1234:4::2 /vrf v1 r4 tping 100 10 1.1.1.2 /vrf v1 r4 tping 100 10 1234:1::2 /vrf v1 r4 tping 100 10 1.1.2.2 /vrf v1 r4 tping 100 10 1234:2::2 /vrf v1 r4 tping 100 10 1.1.3.2 /vrf v1 r4 tping 100 10 1234:3::2 /vrf v1 r4 tping 100 10 1.1.4.2 /vrf v1 r4 tping 100 10 1234:4::2 /vrf v1 r5 tping 100 10 1.1.1.2 /vrf v1 r5 tping 100 10 1234:1::2 /vrf v1 r5 tping 100 10 1.1.2.2 /vrf v1 r5 tping 100 10 1234:2::2 /vrf v1 r5 tping 100 10 1.1.3.2 /vrf v1 r5 tping 100 10 1234:3::2 /vrf v1 r5 tping 100 10 1.1.4.2 /vrf v1 r5 tping 100 10 1234:4::2 /vrf v1 r6 tping 100 10 1.1.1.2 /vrf v1 r6 tping 100 10 1234:1::2 /vrf v1 r6 tping 100 10 1.1.2.2 /vrf v1 r6 tping 100 10 1234:2::2 /vrf v1 r6 tping 100 10 1.1.3.2 /vrf v1 r6 tping 100 10 1234:3::2 /vrf v1 r6 tping 100 10 1.1.4.2 /vrf v1 r6 tping 100 10 1234:4::2 /vrf v1 r1 tping 100 10 2.2.2.101 /vrf v1 /int lo0 r1 tping 100 10 4321::101 /vrf v1 /int lo0 r1 tping 100 10 2.2.2.103 /vrf v1 /int lo0 r1 tping 100 10 4321::103 /vrf v1 /int lo0 r1 tping 100 10 2.2.2.104 /vrf v1 /int lo0 r1 tping 100 10 4321::104 /vrf v1 /int lo0 r1 tping 100 10 2.2.2.105 /vrf v1 /int lo0 r1 tping 100 10 4321::105 /vrf v1 /int lo0 r1 tping 100 10 2.2.2.106 /vrf v1 /int lo0 r1 tping 100 10 4321::106 /vrf v1 /int lo0 r3 tping 100 10 2.2.2.101 /vrf v1 /int lo0 r3 tping 100 10 4321::101 /vrf v1 /int lo0 r3 tping 100 10 2.2.2.103 /vrf v1 /int lo0 r3 tping 100 10 4321::103 /vrf v1 /int lo0 r3 tping 100 10 2.2.2.104 /vrf v1 /int lo0 r3 tping 100 10 4321::104 /vrf v1 /int lo0 r3 tping 100 10 2.2.2.105 /vrf v1 /int lo0 r3 tping 100 10 4321::105 /vrf v1 /int lo0 r3 tping 100 10 2.2.2.106 /vrf v1 /int lo0 r3 tping 100 10 4321::106 /vrf v1 /int lo0 r4 tping 100 10 2.2.2.101 /vrf v1 /int lo0 r4 tping 100 10 4321::101 /vrf v1 /int lo0 r4 tping 100 10 2.2.2.103 /vrf v1 /int lo0 r4 tping 100 10 4321::103 /vrf v1 /int lo0 r4 tping 100 10 2.2.2.104 /vrf v1 /int lo0 r4 tping 100 10 4321::104 /vrf v1 /int lo0 r4 tping 100 10 2.2.2.105 /vrf v1 /int lo0 r4 tping 100 10 4321::105 /vrf v1 /int lo0 r4 tping 100 10 2.2.2.106 /vrf v1 /int lo0 r4 tping 100 10 4321::106 /vrf v1 /int lo0 r5 tping 100 10 2.2.2.101 /vrf v1 /int lo0 r5 tping 100 10 4321::101 /vrf v1 /int lo0 r5 tping 100 10 2.2.2.103 /vrf v1 /int lo0 r5 tping 100 10 4321::103 /vrf v1 /int lo0 r5 tping 100 10 2.2.2.104 /vrf v1 /int lo0 r5 tping 100 10 4321::104 /vrf v1 /int lo0 r5 tping 100 10 2.2.2.105 /vrf v1 /int lo0 r5 tping 100 10 4321::105 /vrf v1 /int lo0 r5 tping 100 10 2.2.2.106 /vrf v1 /int lo0 r5 tping 100 10 4321::106 /vrf v1 /int lo0 r6 tping 100 10 2.2.2.101 /vrf v1 /int lo0 r6 tping 100 10 4321::101 /vrf v1 /int lo0 r6 tping 100 10 2.2.2.103 /vrf v1 /int lo0 r6 tping 100 10 4321::103 /vrf v1 /int lo0 r6 tping 100 10 2.2.2.104 /vrf v1 /int lo0 r6 tping 100 10 4321::104 /vrf v1 /int lo0 r6 tping 100 10 2.2.2.105 /vrf v1 /int lo0 r6 tping 100 10 4321::105 /vrf v1 /int lo0 r6 tping 100 10 2.2.2.106 /vrf v1 /int lo0 r6 tping 100 10 4321::106 /vrf v1 /int lo0 r1 tping 100 10 2.2.2.201 /vrf v1 /int lo1 r1 tping 100 10 4321::201 /vrf v1 /int lo1 r1 tping 100 10 2.2.2.203 /vrf v1 /int lo1 r1 tping 100 10 4321::203 /vrf v1 /int lo1 r1 tping 100 10 2.2.2.204 /vrf v1 /int lo1 r1 tping 100 10 4321::204 /vrf v1 /int lo1 r1 tping 100 10 2.2.2.205 /vrf v1 /int lo1 r1 tping 100 10 4321::205 /vrf v1 /int lo1 r1 tping 100 10 2.2.2.206 /vrf v1 /int lo1 r1 tping 100 10 4321::206 /vrf v1 /int lo1 r3 tping 100 10 2.2.2.201 /vrf v1 /int lo1 r3 tping 100 10 4321::201 /vrf v1 /int lo1 r3 tping 100 10 2.2.2.203 /vrf v1 /int lo1 r3 tping 100 10 4321::203 /vrf v1 /int lo1 r3 tping 100 10 2.2.2.204 /vrf v1 /int lo1 r3 tping 100 10 4321::204 /vrf v1 /int lo1 r3 tping 100 10 2.2.2.205 /vrf v1 /int lo1 r3 tping 100 10 4321::205 /vrf v1 /int lo1 r3 tping 100 10 2.2.2.206 /vrf v1 /int lo1 r3 tping 100 10 4321::206 /vrf v1 /int lo1 r4 tping 100 10 2.2.2.201 /vrf v1 /int lo1 r4 tping 100 10 4321::201 /vrf v1 /int lo1 r4 tping 100 10 2.2.2.203 /vrf v1 /int lo1 r4 tping 100 10 4321::203 /vrf v1 /int lo1 r4 tping 100 10 2.2.2.204 /vrf v1 /int lo1 r4 tping 100 10 4321::204 /vrf v1 /int lo1 r4 tping 100 10 2.2.2.205 /vrf v1 /int lo1 r4 tping 100 10 4321::205 /vrf v1 /int lo1 r4 tping 100 10 2.2.2.206 /vrf v1 /int lo1 r4 tping 100 10 4321::206 /vrf v1 /int lo1 r5 tping 100 10 2.2.2.201 /vrf v1 /int lo1 r5 tping 100 10 4321::201 /vrf v1 /int lo1 r5 tping 100 10 2.2.2.203 /vrf v1 /int lo1 r5 tping 100 10 4321::203 /vrf v1 /int lo1 r5 tping 100 10 2.2.2.204 /vrf v1 /int lo1 r5 tping 100 10 4321::204 /vrf v1 /int lo1 r5 tping 100 10 2.2.2.205 /vrf v1 /int lo1 r5 tping 100 10 4321::205 /vrf v1 /int lo1 r5 tping 100 10 2.2.2.206 /vrf v1 /int lo1 r5 tping 100 10 4321::206 /vrf v1 /int lo1 r6 tping 100 10 2.2.2.201 /vrf v1 /int lo1 r6 tping 100 10 4321::201 /vrf v1 /int lo1 r6 tping 100 10 2.2.2.203 /vrf v1 /int lo1 r6 tping 100 10 4321::203 /vrf v1 /int lo1 r6 tping 100 10 2.2.2.204 /vrf v1 /int lo1 r6 tping 100 10 4321::204 /vrf v1 /int lo1 r6 tping 100 10 2.2.2.205 /vrf v1 /int lo1 r6 tping 100 10 4321::205 /vrf v1 /int lo1 r6 tping 100 10 2.2.2.206 /vrf v1 /int lo1 r6 tping 100 10 4321::206 /vrf v1 /int lo1 r1 dping sdn . r6 2.2.2.205 /vrf v1 /int lo1 r1 dping sdn . r6 4321::205 /vrf v1 /int lo1