[   85.699283][  T716] packetdrill (716) used greatest stack depth: 23888 bytes left