pub const ISOFLAG_OPTIMISTIC: ISOFLAG = 16i32;