replace ;; by oo