def changes(self) -> Sequence[Trace]:
    if (self._dirty == 0):
        return []
    trace = []
    for (name, reg) in self.regs.items():
        trace += [TraceExtRegChange(name, erc) for erc in reg.changes()]
    return trace
def changes(self) -> Sequence[Trace]:
    if (self._dirty == 0):
        return []
    trace = []
    for (name, reg) in self.regs.items():
        trace += [TraceExtRegChange(name, erc) for erc in reg.changes()]
    return trace