[  134.934129] packetdrill (6688) used greatest stack depth: 12696 bytes left