The **program header**. It gives our program a name. The name must follow Pascal's identifier rules (starts with a letter, contains only letters, digits, and underscores). The semicolon terminates the declaration.