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