pub fn cast_uint64_to_uint32<'a>(a: u64) -> Result<u32, EvalError>