EQUEL predeclares all the standard Pascal types and constants, which are listed in Data Types and Constants) in a scope enclosing the entire program. You should not redefine any of these identifiers because the runtime library expects the standard definitions.