Constant WAIT_FOR_INTERRUPT 

pub const WAIT_FOR_INTERRUPT: u64 = 0x276a31c24a164cdb /* 2_840_137_225_546_910_939u64 */;