run_ k = 
    "/* Kernels */\n" ++
    concat  kernels ++
    "/* Coordination */\n" ++
    prg 
      where 
        kernels = map (\(x,_,_,_) -> x) (Map.elems km) -- 
        (km,prg) = run k 
run_ k = 
    "/* Kernels */\n" ++
    concat  kernels ++
    "/* Coordination */\n" ++
    prg 
      where 
        kernels = map (\(x,_,_,_) -> x) (Map.elems km) -- 
        (km,prg) = run k 
run_ k = 
    "/* Kernels */\n" ++
    concat  kernels ++
    "/* Coordination */\n" ++
    prg 
      where 
        kernels = map (\(x,_,_,_) -> x) (Map.elems km) -- 
        (km,prg) = run k 