pairlis = (x, y, a) => nil(x) ? a :
  cons(cons(car(x), car(y)), pairlis(cdr(x), cdr(y), a))

assertEqual(pairlis(list('A', 'B', 'C'), list('U', 'V', 'W'),
                    list(cons('D', 'X'), cons('E', 'Y'))),
            list(cons('A', 'U'), cons('B', 'V'), cons('C', 'W'),
                 cons('D', 'X'), cons('E', 'Y')))
