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