Firewall in Pyretic