Constant WMT_EOF 

pub const WMT_EOF: WMT_STATUS;