buf.append("(" + tapeType + ")");
    public static String staticNetworkSendPrefix(CType tapeType) {	StringBuffer buf = new StringBuffer();		if (KjcOptions.altcodegen || KjcOptions.decoupled) {	    if (tapeType.isFloatingPoint())		buf.append(CSTOFPVAR);	    else		buf.append(CSTOINTVAR);	    //temporary fix for type changing filters	    buf.append(" = (" + tapeType + ")");	} 	else {	    buf.append("(");	    if (SpaceTimeBackend.FILTER_DEBUG_MODE)		buf.append("static_send_print");	    else		buf.append("static_send");	    buf.append("(");    	    //temporary fix for type changing filters	    buf.append("(" + tapeType + ")");	}	return buf.toString();    }