[    9.459524] packetdrill (159) used greatest stack depth: 12608 bytes left