debug

2012-11-30 Debugging with DOT