A statement in a higher-level programming language which cannot be related to the instructions in the machine language program ultimately produced, but which provides the compiler with essential information from which it may determine the allocation of storage and other organizational characteristics of the final program.