emptyInstrState :: InstrState
emptyInstrState =
  InstrState { isByteCode        = mempty
             , isStackMapTable   = mempty
             , isOffset          = 0
             , isCtrlFlow        = CF.empty
             , isLabelTable      = mempty
             , isLastBranch      = NoBranch
             , isRunAgain        = False
             , isNextLabel       = 1
             , isLineNumberTable = mempty
             , isExceptionTable  = mempty }
emptyInstrState :: InstrState
emptyInstrState =
  InstrState { isByteCode        = mempty
             , isStackMapTable   = mempty
             , isOffset          = 0
             , isCtrlFlow        = CF.empty
             , isLabelTable      = mempty
             , isLastBranch      = NoBranch
             , isRunAgain        = False
             , isNextLabel       = 1
             , isLineNumberTable = mempty
             , isExceptionTable  = mempty }
emptyInstrState =
  InstrState { isByteCode        = mempty
             , isStackMapTable   = mempty
             , isOffset          = 0
             , isCtrlFlow        = CF.empty
             , isLabelTable      = mempty
             , isLastBranch      = NoBranch
             , isRunAgain        = False
             , isNextLabel       = 1
             , isLineNumberTable = mempty
             , isExceptionTable  = mempty }