ConstExpr example