let shift_left = shift_left ~topify_arith_origin