Constant SYZ_P_CURRENT_TIME 

pub const SYZ_P_CURRENT_TIME: SYZ_PROPERTIES = 40;