Constant eos_flags_EOS_MASK 

pub const eos_flags_EOS_MASK: eos_flags = 7168;