[  124.522014][  T725] packetdrill (725) used greatest stack depth: 24256 bytes left