[  438.378449][ T3858] packetdrill (3858) used greatest stack depth: 23872 bytes left