pub fn cast_uint64_to_mz_timestamp<'a>(a: u64) -> Timestamp