https://github.com/google/packetdrill/blob/fd03fda63c7ecbabfa04ec1b149b35ce1d2e9130/gtests/net/packetdrill/packetdrill.h#L40
