emitCFG :: CFG -> ST2 r w (ST2Array r w Position Int)
emitCFG g =
  run $ PassS $ PassS $ PassS $ PassZ $ EmitCFG $
  emitMain g
emitCFG :: CFG -> ST2 r w (ST2Array r w Position Int)
emitCFG g =
  run $ PassS $ PassS $ PassS $ PassZ $ EmitCFG $
  emitMain g
emitCFG g =
  run $ PassS $ PassS $ PassS $ PassZ $ EmitCFG $
  emitMain g