[  455.369141][ T4139] packetdrill (4139) used greatest stack depth: 24112 bytes left