[   83.195622][  T495] packetdrill (495) used greatest stack depth: 23880 bytes left