Demo: Implementing iptables using a programmable stateful data plane abstraction