[   86.478620][  T716] packetdrill (716) used greatest stack depth: 22648 bytes left