print("int i;\n");
print("int " + BUFFER_INDEX + ";\n");
    private void printWorkHeader(boolean isSteadyState, int pop, int peek)     {	print("{\n");	print("int i;\n");	// don't print the header for "work" functions in a two-stage	// filter, since it should go in initWork instead.  Here we	// calculate if we're already printed this header in initWork.	boolean alreadyPrinted = isSteadyState && 	    filter instanceof SIRTwoStageFilter &&	    ((SIRTwoStageFilter)filter).getInitPeek() > 0;	if (peek > 0 && !alreadyPrinted) {	    //print("int i, __count__ = -1;\n");	    print("/* work header */\n");	    //	print(filter.getInputType() + 	    //       " buffer[" + filter.getPeekInt() + "];\n");	    print(" for (i = 0; i < " + peek + "; i++)\n");	    print("   __buffer__[i] = ");	    if (filter.getInputType().equals(CStdType.Float))		print("static_receive_f();\n");	    else 		print("static_receive();\n");	}	if (isSteadyState) {	    print(" while (1) {\n");	}	if (debug) print("   print_int("+   Layout.getTileNumber(filter) + ");\n");    }