Function cast_uint32_to_uint64

Source
fn cast_uint32_to_uint64(a: u32) -> u64