[
  (builtins.bitOr 0 0)
  (builtins.bitOr 1 0)
  (builtins.bitOr 0 1)
  (builtins.bitOr 1 1)
  (builtins.bitOr 8 8)
  (builtins.bitOr 8 (builtins.add 4 4))
  (builtins.bitOr (builtins.add 4 4) 8)
  (builtins.bitOr (builtins.add 4 4) (builtins.add 4 4))
]
