Symbol: convert_64to32