[   86.174445][  T723] packetdrill (723) used greatest stack depth: 24160 bytes left