let rec length l = match l with h::t -> succ (length t) | [] -> 0;;