The official Google release of packetdrill - View it on GitHub