Add lisp_write_cdr_cons() in write.c