[   82.712112][  T495] packetdrill (495) used greatest stack depth: 23672 bytes left