g3-03473.in
g3-03473.out
如果 a 为 int 类型的变量，且表达式 ((a | 3) == 3) 的值为 true，则说明 a 在从 0 到 3 之间（可能为 0、可能为 3）。
a
int
((a | 3) == 3)
true