Symbol: PRTF_64_TO_32