let rev_list_tail_rec l =
  let rec aux_rev l accum =
    match l with
    | [] -> rev_list == accum
    | h :: tl ->
      aux_rev tl (h::accum)
  in
  aux_rev l []
  rev_list []