return new TypePrimitive(TypePrimitive.TYPE_INT);
if (exp.getVal()==0 || exp.getVal()==1) { return new TypePrimitive(TypePrimitive.TYPE_BIT); } else { return new TypePrimitive(TypePrimitive.TYPE_INT); }
    public Object visitExprConstInt(ExprConstInt exp)    {        return new TypePrimitive(TypePrimitive.TYPE_INT);    }