let
bitwise_or = bitwise_or ~topify_arith_origin