bug 1248: add a stack of missing CR 3/5-bit operand vector naming