name is
                       -- header comment
          do
                       Eiffel instructions
          end -- name

The routine name is indented 4 spaces.
A routine name is a letter followed by one or more letters, numbers, or underscores. The name of a procedure is a verb, the name of a function is a noun (procedure versus function is covered in week 3).
The header comment is indented to the level of the code (3 steps from left).
do and end are written on new lines, indented 8 spaces.
The Eiffel instructions are written one per line, indented 12 spaces.
The name of the routine is written as a comment after the routine end.