Constant EXECUTE_SEQUENCE 

pub const EXECUTE_SEQUENCE: u64 = 0xf0500bd7555a614;