[  123.941615] packetdrill (5390) used greatest stack depth: 12616 bytes left