[   85.463746][  T723] packetdrill (723) used greatest stack depth: 23920 bytes left