[  508.160312][ T5858] packetdrill (5858) used greatest stack depth: 23888 bytes left