[  129.285371][  T802] packetdrill (802) used greatest stack depth: 23512 bytes left