eofStr top-level constant

String const eofStr

Implementation

const String eofStr = '<EOF>';