let opt_do f = function
  | None -> () 
  | Some x -> f x