comment { Gi10/0/0 is connected to lab.ipng.ch:lab3 }
set interface mtu 9000 GigabitEthernet10/0/0 
set interface mtu packet 9000 GigabitEthernet10/0/0
set interface ip address GigabitEthernet10/0/0 2001:678:d78:231::0:fffe/112
set interface ip address GigabitEthernet10/0/0 192.168.13.5/31
set interface state GigabitEthernet10/0/0 up

comment { Gi10/0/1 is connected to vpp3-1:Gi10/0/0 }
set interface mtu 9000 GigabitEthernet10/0/1
set interface mtu packet 9000 GigabitEthernet10/0/1
set interface ip address GigabitEthernet10/0/1 2001:678:d78:231::1:30/112
set interface ip address GigabitEthernet10/0/1 192.168.13.6/31
set interface state GigabitEthernet10/0/1 up

comment { Gi10/0/2 is free to use }
set interface mtu 9000 GigabitEthernet10/0/2
set interface mtu packet 9000 GigabitEthernet10/0/2
set interface state GigabitEthernet10/0/2 down

comment { Gi10/0/3 is free to use }
set interface mtu 9000 GigabitEthernet10/0/3
set interface mtu packet 9000 GigabitEthernet10/0/3
set interface state GigabitEthernet10/0/3 down