[  833.817249][ T9025] packetdrill (9025) used greatest stack depth: 23872 bytes left