def instruction_addresses(self):
        addrs = [ ]
        for b in sorted(self.blocks, key=lambda x: x.addr):
            addrs.extend(b.instruction_addresses())
        return sorted(set(addrs), key=lambda x: x[0])