Constant kernel_SynchronizationState_kernel_INIT_DOWNLOAD 

pub const kernel_SynchronizationState_kernel_INIT_DOWNLOAD: kernel_SynchronizationState = 1;