if (tapeType != val.getType()) print("(" + tapeType + ")");
    private void pushScalar(SIRPushExpression self,			    CType tapeType,			    JExpression val)     {	print(Util.staticNetworkSendPrefix(tapeType));	val.accept(this);	print(Util.staticNetworkSendSuffix());    }