docs: 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