static Object append2(Object x, Object y) { if (x is Pair) return cons(first(x), append2(rest(x), y)); else return y; }