[block_simple_name:]
[declare
declarative_part]
begin
sequence_of_statements
[exception
exception_handler
{exception_handler}]
end
[block_simple_name];
SWAP:
declare
TEMP : INTEGER;
begin
TEMP := V; V := U; U := TEMP;
end
SWAP;