mkSystemLabels :: Int -> InstrM [Label]
mkSystemLabels n = do
  s@InstrState { isNextLabel }<- get
  put s { isNextLabel = isNextLabel + n }
  return $ map (\x -> Label (- (isNextLabel + x))) [0..(n - 1)]
mkSystemLabels :: Int -> InstrM [Label]
mkSystemLabels n = do
  s@InstrState { isNextLabel }<- get
  put s { isNextLabel = isNextLabel + n }
  return $ map (\x -> Label (- (isNextLabel + x))) [0..(n - 1)]
mkSystemLabels n = do
  s@InstrState { isNextLabel }<- get
  put s { isNextLabel = isNextLabel + n }
  return $ map (\x -> Label (- (isNextLabel + x))) [0..(n - 1)]