docs: def dbg_print_irsb(self, irsb_addr, project=None):
          """
          Pretty-print an IRSB with whitelist information
          """
  
          if project is None:
              project = self._project
  
          if project is None:
              raise Exception("Dict addr_to_run is empty. " + \
                              "Give me a project, and I'll recreate the IRSBs for you.")
          else:
              vex_block = project.factory.block(irsb_addr).vex
  
          statements = vex_block.statements
          whitelist = self.get_whitelisted_statements(irsb_addr)
          for i in range(0, len(statements)):
              if whitelist is True or i in whitelist:
                  line = "+"
              else:
                  line = "-"
              line += "[% 3d] " % i
              # We cannot get data returned by pp(). WTF?
              print(line, end='')
              statements[i].pp()