In VITO, the following behavioral keywords are legal inside implicit style blocks:
begin
end
if
else
while
forever
The above are also legal in non-implicit style portions of the module that VITO leaves unmodified. In addition, the following:
for
repeat
case
casex
casez
are legal in functions and non-implicit style blocks.
The disable statement works under limited circumstances.