pub const DEBUG_VALUE_VECTOR128: u32 = 11u32;