let rec assoc (d,k,l) =
  let rec helper (str, currList) =
      match currList with
	[]   -> d
      | h::t ->
		match h with
		  (x,y) -> if (x = k) then y
			   else helper (k, t)
  in
    helper (k, l);;