pub const V86FLAGS_AUXCARRY: u32 = 16u32;