Is this cast safe?  (We seem to be stripping the const.)