Constant OPTIF_EXT_IS_EXTPUSH 

pub const OPTIF_EXT_IS_EXTPUSH: i32 = 1024i32;