def __init__(self, filename=None):
        self.filename = None
        if filename:
            self.load(filename)
def __str__(self):
        return "(%s,%s)/%d" % (self.saddr, self.gaddr, self.glen)