Const-correct the stack coloring code.