Examples

Ramification: If task objects are declared
within a block_statement
whose execution is completed, the block_statement
is not left until all its dependent tasks are terminated (see 7.6).
This rule applies to completion caused by a transfer of control.

7.b

Within a block_statement,
the block name can be used in expanded names denoting local entities
such as Swap.Temp in the above example (see 4.1.3).