[  128.660262][  T802] packetdrill (802) used greatest stack depth: 23520 bytes left