pub fn split_u64(u: u64) -> (u32, u32)