(defun tap (x)
  x)