EXIT

Syntax

“EXIT” (“?” varDecl | “!” valExpr)*

Semantics

EXIT is a process that just successfully terminates.

EXIT might communicate exit values.