Constant PRAGUE_EOF

pub const PRAGUE_EOF: &'static str;