Purpose
In CHECK Region and CODE Region, succeed without executing further code.
Syntax
NULL = succeed()
Returns
Remarks
Constrained to appear directly in the CHECK region, not within functions defined in the DECL region.
Example
@CHECK
succeed();
@@CHECK