The following section explains the function of the assertions directive.
assertions
Copyright © Digital Equipment Corporation. 1999. All Rights Reserved.