A program can contain predefined annotations before specific language elements. For detailed information, see Adding predefined annotations.