clarify a usage constraint for cnt32_to_63()