if (tapeType.equals(CStdType.Float)) print("(static_send(");  else print("(static_send(");
print("(static_send(");  print("(" + tapeType + ")");
    public void visitPushExpression(SIRPushExpression self,                                    CType tapeType,                                    JExpression val)    {	if (tapeType.equals(CStdType.Float))	    print("(static_send(");	//	    print("(static_send_f(");	else	    print("(static_send(");	val.accept(this);        print("))");    }