(nbits, flags_vec)
return result
Concatenate different flag BVs to a single BV. Currently used for ARM, X86
    and AMD64.
    :param nbits    : platform size in bits.
    :param flags_vec: vector of flag BVs and their offset in the resulting BV.

    :type nbits     : int
    :type flags_vec : list

    :return         : the resulting flag BV.
    :rtype          : claripy.BVV
Concatenate different flag BVs to a single BV. Currently used for ARM, X86
    and AMD64.
    :param nbits    : platform size in bits.
    :param flags_vec: vector of flag BVs and their offset in the resulting BV.
Concatenate different flag BVs to a single BV . Currently used for ARM X86 and AMD64 . : param nbits : platform size in bits . : param flags_vec : vector of flag BVs and their offset in the resulting BV .
def _concat_flags(nbits, flags_vec):
    """
    Concatenate different flag BVs to a single BV. Currently used for ARM, X86
    and AMD64.
    :param nbits    : platform size in bits.
    :param flags_vec: vector of flag BVs and their offset in the resulting BV.

    :type nbits     : int
    :type flags_vec : list

    :return         : the resulting flag BV.
    :rtype          : claripy.BVV
    """

    result = claripy.BVV(0, 0)
    for offset, bit in flags_vec:
        current_position = nbits - 1 - result.length
        result = result.concat(claripy.BVV(0, current_position - offset), bit)
    result = result.concat(claripy.BVV(0, nbits - result.length))
    return result
def _concat_flags ( nbits , flags_vec ) : result = claripy . BVV ( 0 , 0 ) for offset , bit in flags_vec : current_position = nbits - 1 - result . length result = result . concat ( claripy . BVV ( 0 , current_position - offset ) , bit ) result = result . concat ( claripy . BVV ( 0 , nbits - result . length ) ) return result