Maybe a few was not the proper quantitative word to use, but there are arrays that the runtime modifies. The other negative aspect of using `const' is that now we have to update our header files and C files of the runtime to use `const' a lot.

But we will certainly have a look at them.