fn cast_u64_to_u16(n: u64) -> Result<u16>