As mentioned by Vadim on IRC:
it seems many instructions in bytecode generated for RS880 have (incorrect)
OMOD = 2, that is, ALU WORD1 bit 7 is set where it shouldn't be set