[   84.097404][  T716] packetdrill (716) used greatest stack depth: 23944 bytes left