let
slow_append l1 l2 = rev_append (rev l1) l2