[  129.523657][  T802] packetdrill (802) used greatest stack depth: 23416 bytes left