[   87.195967][  T723] packetdrill (723) used greatest stack depth: 24152 bytes left