fn cast_u64_to_u32(n: u64) -> Result<u32>