This page has moved to a
/posts/2014-04-15-fun-with-debugging-symbols
.