Appendix B: Reserved Words

The list below contains all reserved words in the Magma language; these cannot be used as identifier names.

_ else join require
adj end le requirege
and eq load requirerange
assert error local restore
assert2 eval lt return
assert3 exists mark_sweep save
assigned exit meet sdiff
break false mod select
by for ne subset
case forall not then
cat forward notadj time
catch fprintf notin to
clear freeze notsubset true
cmpeq function or try
cmpne ge print until
continue gt printf vprint
declare if procedure vprintf
default iload quit vtime
delete import random when
diff in read where
div intrinsic readi while
do is repeat xor
elif

V2.29, 21 October 2025