added rev_append.ml