P4 is a new high-level programming language for software-defined networks [1, 2]. It is intended to describe the behavior of the data plane of any system or appliance that forwards, modifies or ...