docs: def dbg_print(self, indent=0):
          """
          Print out debugging information
          """
          print("%sA-locs:" % (" " * indent))
          for aloc_id, aloc in self._alocs.items():
              print("%s<0x%x> %s" % (" " * (indent + 2), aloc_id, aloc))
  
          print("%sMemory:" % (" " * indent))
          self.memory.dbg_print(indent=indent + 2)