Finally construct (GNAT Reference Manual)

#### 17.3.11 Finally construct ¶

The `finally` keyword makes it possible to have a sequence of statements be executed when another sequence of statements is completed, whether normally or abnormally.

This feature is similar to the one with the same name in other languages such as Java.

Note that `finally` is a keyword but it is not a reserved word. This is a configuration that does not exist in standard Ada.