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. 1999.
All Rights Reserved.