[  126.772509][  T802] packetdrill (802) used greatest stack depth: 24072 bytes left