6.2 General conventions

All variables are read-only unless stated otherwise explicitly.