[  433.853003][ T3857] packetdrill (3857) used greatest stack depth: 23920 bytes left