let rec extend s k u =
  let k = succ k in
  let v = letter s k in
  if v == u then extend s k u else k