I. Introduction
Programmable data plane switches are the product of some of the latest developments in software-defined networking (SDN) [1]. High-level programming languages can be used to describe the functionality that a switch or router can support to implement. This gives significant flexibility compared to erstwhile fixed-function switches. One such popular data plane programming language is called P4 [2].