if (push > 0) {
/*	if (push > 0) {
    private void printRateMatchInitWorkTrailer(int push)     {	if (push > 0) {	    //send everything	    print("for (" + exeIndex + " = 0; " + exeIndex + " < " + push +		  "; " + exeIndex + "++)\n");	    print("{\n");	    printRateMatchSend();	    //end the send	    print(";\n");	    //end the send loop	    print("}\n");	    print(sendBufferIndex + " &= " + SENDBITS + ";\n");	    print(sendIndex + " &= " + SENDBITS + ";\n");	}	print("}\n");    }