Host identifiers

A host identifier is a name declared in the host program.