[   86.750362][  T725] packetdrill (725) used greatest stack depth: 24160 bytes left