Constant kernel_SynchronizationState_kernel_INIT_DOWNLOAD

pub const kernel_SynchronizationState_kernel_INIT_DOWNLOAD: kernel_SynchronizationState = 1;