[  128.680767][  T802] packetdrill (802) used greatest stack depth: 23808 bytes left