let bitwise_or = bitwise_or ~topify_arith_origin