EOF

external val EOF: String(source)