with m.Switch(op):
             with m.Case(InternalOp.OP_TRAP):
                 with m.If(should_trap):
-                    comb += self.o.nia.eq(0x700)         # trap address
+                    comb += self.o.nia.data.eq(0x700)         # trap address
+                    comb += self.o.nia.ok.eq(1)
                     comb += self.o.srr1.data.eq(self.i.msr)   # old MSR
                     comb += self.o.srr1[63-46].eq(1)     # XXX which bit?
                     comb += self.o.srr1.ok.eq(1)
                     comb += self.o.srr0.ok.eq(1)
 
         comb += self.o.ctx.eq(self.i.ctx)
-        comb += self.o.should_trap.eq(should_trap)
 
         return m
 
 class TrapOutputData(IntegerData):
     def __init__(self, pspec):
         super().__init__(pspec)
-        self.nia = Signal(64, reset_less=True) # NIA (Next PC)
+        self.nia = Data(64, name="nia") # NIA (Next PC)
         self.msr = Signal(64, reset_less=True) # MSR
         self.srr0 = Data(64, name="srr0") # SRR0 SPR
         self.srr1 = Data(64, name="srr1") # SRR1 SPR
-        self.should_trap = Signal(reset_less=True)
 
     def __iter__(self):
         yield from super().__iter__()
         yield self.msr
         yield self.srr0
         yield self.srr1
-        yield self.should_trap
 
     def eq(self, i):
         lst = super().eq(i)
-        return lst + [
-            self.nia.eq(i.nia), self.msr.eq(i.msr),
-            self.srr0.eq(i.srr0), self.srr1.eq(i.srr1),
-            self.should_trap.eq(i.should_trap)]
+        return lst + [ self.nia.eq(i.nia), self.msr.eq(i.msr),
+                      self.srr0.eq(i.srr0), self.srr1.eq(i.srr1)]