pub const SEM_VALUE_MAX: u32 = 1073741823;