4.3. Including Headers

IncludeStatement <- 'include' string-literal ';'

Compile-time Behavior:

When encountering this statement at the beginning of a file, the compiler should interpret the string literal as a relative file path, look up the corresponding file in an implementation-defined way, and load the definitions from the given HeaderFile.

Runtime Behavior:

This statement has no runtime behavior.