[  440.111369][ T3858] packetdrill (3858) used greatest stack depth: 23792 bytes left