The function in question does not in fact ensure that the passed
argument is not changed, and the callers don't care much either.