--- a/python/outstream.py	Mon Aug 05 19:46:11 2013 +0200
+++ b/python/outstream.py	Mon Aug 05 20:41:25 2013 +0200
@@ -78,13 +78,15 @@
     def dumpSection(self, s):
         print('.section '+ s)
         for i in self.sections[s].instructions:
+            if type(i) is DebugInfo:
+                continue
             addr = i.address
             insword = i.encode()
             assert type(insword) is bytes
             insword = binascii.hexlify(bytes(reversed(insword))).decode('ascii')
             asm = str(i)
             if len(insword) == 0:
-                print('    {}'.format(asm))
+                print('        {}'.format(asm))
             else:
                 print('    0x{0:08x} 0x{1} {2}'.format(addr, insword, asm))