implements rev_append, rev, append.