@@ -32,7 +32,7 @@ VAL idris_b8Compl(VM *vm, VAL a);
32VAL idris_b8And(VM *vm, VAL a, VAL b);
32VAL idris_b8And(VM *vm, VAL a, VAL b);
33VAL idris_b8Or(VM *vm, VAL a, VAL b);
33VAL idris_b8Or(VM *vm, VAL a, VAL b);
34VAL idris_b8Neg(VM *vm, VAL a);
34VAL idris_b8Neg(VM *vm, VAL a);
35−VAL idris_b8XOr(VM *vm, VAL a, VAL b);
35+VAL idris_b8Xor(VM *vm, VAL a, VAL b);
36VAL idris_b8Shl(VM *vm, VAL a, VAL b);
36VAL idris_b8Shl(VM *vm, VAL a, VAL b);
37VAL idris_b8LShr(VM *vm, VAL a, VAL b);
37VAL idris_b8LShr(VM *vm, VAL a, VAL b);
38VAL idris_b8AShr(VM *vm, VAL a, VAL b);
38VAL idris_b8AShr(VM *vm, VAL a, VAL b);
@@ -64,7 +64,7 @@ VAL idris_b16Compl(VM *vm, VAL a);
64VAL idris_b16And(VM *vm, VAL a, VAL b);
64VAL idris_b16And(VM *vm, VAL a, VAL b);
65VAL idris_b16Or(VM *vm, VAL a, VAL b);
65VAL idris_b16Or(VM *vm, VAL a, VAL b);
66VAL idris_b16Neg(VM *vm, VAL a);
66VAL idris_b16Neg(VM *vm, VAL a);
67−VAL idris_b16XOr(VM *vm, VAL a, VAL b);
67+VAL idris_b16Xor(VM *vm, VAL a, VAL b);
68VAL idris_b16Shl(VM *vm, VAL a, VAL b);
68VAL idris_b16Shl(VM *vm, VAL a, VAL b);
69VAL idris_b16LShr(VM *vm, VAL a, VAL b);
69VAL idris_b16LShr(VM *vm, VAL a, VAL b);
70VAL idris_b16AShr(VM *vm, VAL a, VAL b);
70VAL idris_b16AShr(VM *vm, VAL a, VAL b);
@@ -91,7 +91,7 @@ VAL idris_b32Compl(VM *vm, VAL a);
91VAL idris_b32And(VM *vm, VAL a, VAL b);
91VAL idris_b32And(VM *vm, VAL a, VAL b);
92VAL idris_b32Or(VM *vm, VAL a, VAL b);
92VAL idris_b32Or(VM *vm, VAL a, VAL b);
93VAL idris_b32Neg(VM *vm, VAL a);
93VAL idris_b32Neg(VM *vm, VAL a);
94−VAL idris_b32XOr(VM *vm, VAL a, VAL b);
94+VAL idris_b32Xor(VM *vm, VAL a, VAL b);
95VAL idris_b32Shl(VM *vm, VAL a, VAL b);
95VAL idris_b32Shl(VM *vm, VAL a, VAL b);
96VAL idris_b32LShr(VM *vm, VAL a, VAL b);
96VAL idris_b32LShr(VM *vm, VAL a, VAL b);
97VAL idris_b32AShr(VM *vm, VAL a, VAL b);
97VAL idris_b32AShr(VM *vm, VAL a, VAL b);
@@ -117,7 +117,7 @@ VAL idris_b64Compl(VM *vm, VAL a);
117VAL idris_b64And(VM *vm, VAL a, VAL b);
117VAL idris_b64And(VM *vm, VAL a, VAL b);
118VAL idris_b64Or(VM *vm, VAL a, VAL b);
118VAL idris_b64Or(VM *vm, VAL a, VAL b);
119VAL idris_b64Neg(VM *vm, VAL a);
119VAL idris_b64Neg(VM *vm, VAL a);
120−VAL idris_b64XOr(VM *vm, VAL a, VAL b);
120+VAL idris_b64Xor(VM *vm, VAL a, VAL b);
121VAL idris_b64Shl(VM *vm, VAL a, VAL b);
121VAL idris_b64Shl(VM *vm, VAL a, VAL b);
122VAL idris_b64LShr(VM *vm, VAL a, VAL b);
122VAL idris_b64LShr(VM *vm, VAL a, VAL b);
123VAL idris_b64AShr(VM *vm, VAL a, VAL b);
123VAL idris_b64AShr(VM *vm, VAL a, VAL b);