let rev_append l1 l2 =
    let rec aux l2 = function
      | [] -> l2
      | hd :: tl -> aux (hd :: l2) tl
    in aux l1 l2