[  126.387721][  T802] packetdrill (802) used greatest stack depth: 23328 bytes left