Exception handling within a compound statement?

[Philip Munts]

Ada allows exception handling within each begin/end block, and
also allows a begin/end block inside a compound statement:

loop
  begin
    raise Program_Error;
  exception
    when Program_Error =>
      ...
  end;
end loop;

Does GM2 allow something similar, or can exceptions be caught
only at the procedure or module level?

I like to use exceptions to propagate errors in Ada embedded
real-time software, since they can be caught and handled
anywhere along the calling chain or just ignored to abort the
program.

If exceptions can only be caught at procedure or module level
on the way out to a program abort, they are much less useful
to me.

Phil