Description of the illustration checkpoint_clause.eps
CHECKPOINT
[
GLOBAL
|
LOCAL
]
