I wonder what is "better" or if there is a significant difference between
making a local copy of option as above
and
casting the const of option away?
I guess depends on habit too. I usually wont prefer to break something that wasn't meant to be broken.