bjorn/mana — comment on commit dc1ec2a6b2ffbecd8b4c30f1f16704539a141e88
File:  line 0
By bjorn:

Pushed. I didn't add `static` since this shouldn't matter for integer constants.