gotoInstrSpec :: Opcode -> Special -> InstrM ()
gotoInstrSpec opc special = do
  when (special == NotSpecial) $
    recordBranch (if opc == OP.goto_w then GotoW else Goto)
  op' opc
gotoInstrSpec :: Opcode -> Special -> InstrM ()
gotoInstrSpec opc special = do
  when (special == NotSpecial) $
    recordBranch (if opc == OP.goto_w then GotoW else Goto)
  op' opc
gotoInstrSpec opc special = do
  when (special == NotSpecial) $
    recordBranch (if opc == OP.goto_w then GotoW else Goto)
  op' opc