(dolist (x '(1 2 3 4))
  (message "x=%d" x))