{ raGraph = graph
, raGraphColored = graph_colored_lint
, raCoalesced = rmCoalesce
{ raGraph = graph
, raGraphColored = graph_colored_lint
, raCoalesced = rmCoalesce
, raPatched = code_patched
, raSpillClean = code_spillclean
, raFinal = code_final
, raPatched = code_patched
, raSpillClean = code_spillclean
, raFinal = code_final