[  192.525340] packetdrill (3425) used greatest stack depth: 12560 bytes left