4 assert (i32_a - 10 == 0);
5 assert (i32_a / 10 == 1);
6 assert (i32_a - 20 == -10);
7 assert (i32_a << 10 == 10240);
8 assert (i32_a << 16 == 655360);
9 assert (i32_a * 16 == 160);
10 assert (i32_a * i32_a * i32_a == 1000);
11 assert (i32_a * i32_a * i32_a * i32_a == 10000);
12 assert (((i32_a * i32_a) / i32_a) * i32_a == 100);
13 assert (i32_a * (i32_a - 1) << 2 + i32_a == 368640);
15 let int i32_b = 0x10101010;
16 assert (i32_b + 1 - 1 == i32_b);
17 assert (i32_b << 1 == i32_b << 1);
18 assert (i32_b >> 1 == i32_b >> 1);
19 assert ((i32_b & (i32_b << 1)) == 0);
20 log ((i32_b | (i32_b << 1)));
21 assert ((i32_b | (i32_b << 1)) == 0x30303030);