let
set_arith_active b = x1_active := b