filter.getPeekInt() + "; " + BUFFER_INDEX + "++) \n");
peek + "; " + BUFFER_INDEX + "++) \n");
    private void printWorkTrailer(boolean loop, int pop, int peek)     {	if (peek > 0) {	    print("\n " + TAPE_INDEX + " = 0;\n");	    if (peek != pop) {		print("/* work trailer 0 */\n");		print(" for (" + BUFFER_INDEX + " = " + pop + "; " + BUFFER_INDEX + " < " +		      peek +		      "; " + BUFFER_INDEX + "++)\n");		print("   " + BUFFER + "[" + TAPE_INDEX + "++] = " + BUFFER + "[" + BUFFER_INDEX + "];\n");	    }	    	    print("/* work trailer 1 */\n");	    // this should be filter.peek (not initPeek) regardless of	    // whether we're generating code for the init or	    // steady-state work functions	    print(" for (" + BUFFER_INDEX + " = " + TAPE_INDEX + "; " + BUFFER_INDEX + " < " + 		  filter.getPeekInt() + "; " + BUFFER_INDEX + "++) \n");	    printReceive();	    print(TAPE_INDEX + " = -1;\n");	}	if (loop) {	    print(" }\n");	}	print ("}\n");    }