vjr rdc spec, added combination prefix/postfix for modulo, and, or, xor