pub const RSB_OPTYPE_INDEX_INFTY_NORM: u32 = 8;