def UInt(value, width):
return GetNBits(value, width)<EOL>
Return integer value of `value` as a bitstring of `width` width.

:param value: The value to convert.
:type value: int or long or BitVec
:param int width: The width of the bitstring to consider
:return: The integer value
:rtype int or long or BitVec