initCtrl :: (CtrlFlow -> CtrlFlow) -> Instr
initCtrl f = Instr $ do
  unInstr $ ctrlFlow f
  modify' $ \s@InstrState { isCtrlFlow = cf
                          , isStackMapTable = smt } ->
    s { isStackMapTable = insertSMT (-1) cf smt }
  -- NOTE: The (-1) is done as a special case for when a stack map frame has to
  --       be generated for offset 0.
initCtrl :: (CtrlFlow -> CtrlFlow) -> Instr
initCtrl f = Instr $ do
  unInstr $ ctrlFlow f
  modify' $ \s@InstrState { isCtrlFlow = cf
                          , isStackMapTable = smt } ->
    s { isStackMapTable = insertSMT (-1) cf smt }
  -- NOTE: The (-1) is done as a special case for when a stack map frame has to
  --       be generated for offset 0.
initCtrl f = Instr $ do
  unInstr $ ctrlFlow f
  modify' $ \s@InstrState { isCtrlFlow = cf
                          , isStackMapTable = smt } ->
    s { isStackMapTable = insertSMT (-1) cf smt }
  -- NOTE: The (-1) is done as a special case for when a stack map frame has to
  --       be generated for offset 0.