RainCode supports named constants that cannot be altered. However, in some contexts, some variables should not be assigned to by user-written code either (for instance, see free variables in quantifiers). The RainCode runtime environment will detect such illegal assignments, and terminate the script with a comprehensive error message.