[  118.950705][  T725] packetdrill (725) used greatest stack depth: 24208 bytes left