Mutability of a variable and const qualification of the target type of the pointer used to store its address are independent, and language semantics really only care about the former.