const Timestamp__num_enum_0__: u8 = _; // 12u8