Constant RUN_HEALTH_CHECK 

pub const RUN_HEALTH_CHECK: u64 = 0x40c5975519795d82 /* 4_667_302_980_594_785_666u64 */;