pub fn cast_uint32_to_mz_timestamp<'a>(a: u32) -> Timestamp