WinDBGを起動すると、

*** ERROR: Symbol file could not be found. Defaulted to export symbols for ntdll.dll -

このようなエラーが出たのですが、これはfoo.dbgファイルがないと言う意味じゃなくて、
ntdll.dllのdbgがないという意味だったのですね。

大きいんですが、ここからシステムのシンボルファイルを落としてみます。
http://www.microsoft.com/whdc/devtools/debugging/symbolpkg.mspx