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