fn cast(a: usize) -> u32