Constant kernel_SynchronizationState_kernel_INIT_REINDEX 

pub const kernel_SynchronizationState_kernel_INIT_REINDEX: kernel_SynchronizationState = 0;