Strictly speaking, making globals immutable is incorrect, but let's see what it gives

- if it gives a speedup, we can use assumptions to replace the changed global [TODO]

Signed-off-by: Stefan Marr <git@stefan-marr.de>