[  126.638973][  T802] packetdrill (802) used greatest stack depth: 23576 bytes left