let rec list_rm_assoc' x = function
  | (a, b) :: t when x = b -> (list_rm_assoc' x t)
  | h :: t -> h :: (list_rm_assoc' x t)
  | [] -> []