;; MetaTerms
comments
false
inline
ltl
macros
skip
true,

;; Declarators:
accept
active
arrays
chan
datatypes
end
hidden
init
local
mtype
never
notrace
priority
proctype
progress
provided
show
trace
typedef
xr
xs

;;ControlFlow:
atomic
break
d_step
do
od
goto
if
fi
labels
separators
sequence
unless

;;BasicStatements:
assert
assign
condition
printf
receive
send

;;Predefined:
_
_last
_pid
cond_expr
else
empty
enabled
eval
full
len
nempty
nfull
np_
pc_value
poll
remoterefs
run
stdin
timeout

;;Embedded C Code:
c_code
c_decl
c_expr
c_state
c_track

;;Omissions:
float
hierarchy
pointers
probabilities
procedures
rand
realtime
scanf