public override ABT.Expr GetExpr(ABT.Env env) { ABT.Expr expr = this.Expr.GetExpr(env); return new ABT.ConstULong((UInt32)expr.Type.SizeOf, env); } }