- if s.group() not in pointers:
- pointers[s.group()] = "0X%07d"%len(pointers)
- print t[offset:s.start()],
- print pointers[s.group()],
- offset = s.end()
- s = r.search(t, offset)
+ if s.group() not in pointers:
+ pointers[s.group()] = "0X%07d" % len(pointers)
+ print t[offset:s.start()],
+ print pointers[s.group()],
+ offset = s.end()
+ s = r.search(t, offset)