Constant EX_DEFAULT_PUSH_LOCK_FLAGS 

pub const EX_DEFAULT_PUSH_LOCK_FLAGS: u32 = 0u32;