Const cast arguments that are not expected to be modified