Emacs Lisp のマクロ展開は以下のようにするとよい。
[2003-01-25-1] のでもできるけど、こちらの方が整形がきれい。
こうすると、dolist() が実際に何をしているかとても良く分かる。

(pp (macroexpand-all '
     (dolist (i '(1 2 3))
       i)))

参考情報: http://d.hatena.ne.jp/kazu-yamamoto/20071212/1197427102