The recently floated proposal to add the `across' looping construct to Eiffel seems seriously mistaken.

The lifetime of an Eiffel program is currently defined by the creation procedure of the root class (normally called 'make' in class 'APPLICATION'). When the creation of terminates, the Eiffel program terminates, too.