Constant INVALID_PUSH_LOCK_FLAGS 

pub const INVALID_PUSH_LOCK_FLAGS: BUGCHECK_ERROR;