let rec assocp x = function
  | (h, a) :: t when h == x -> a
  | _ :: t -> assocp x t
  | [] -> raise Not_found