Constant WATCH_OPTIONS 

pub const WATCH_OPTIONS: u64 = 0x6d7b8e3d3f84faf5 /* 7_889_055_565_979_384_565u64 */;