basic types and an eof enumerator