hrc-stack-coloring.ll 31.1 KB