Simple example to show a bug in SDN