pub const DEBUG_VALUE_VECTOR64: u32 = 10u32;