The C*$* assert do (concurrent call)
assertion tells
KAP to execute both the C*$* assert do (concurrent)
and the C*$* assert concurrent call
assertions in the
immediately following loop.
Copyright © Digital Equipment Corporation. 1997.
All Rights Reserved.