17 println(x | 0) // want `x \| 0 always equals x`
18 println(x & 0) // want `x & 0 always equals 0`
19 println(x ^ 0) // want `x \^ 0 always equals x`
20 println((x << 5) | 0) // want `\(x << 5\) \| 0 always equals \(x << 5\)`
25 println(x | b) // want `x \| b always equals x; b is defined as iota`
26 println(x & b) // want `x & b always equals 0; b is defined as iota`
29 // d is iota, but its value is 1