[   80.625548][  T686] packetdrill (686) used greatest stack depth: 23496 bytes left