Symbol: cnt32_to_63