[    9.596245] packetdrill (157) used greatest stack depth: 12768 bytes left