def SInt(value, width):
return Operators.ITEBV(width, Bit(value, width - <NUM_LIT:1>) == <NUM_LIT:1>,<EOL>GetNBits(value, width) - <NUM_LIT:2>**width,<EOL>GetNBits(value, width))<EOL>
Convert a bitstring `value` of `width` bits to a signed integer
representation.

: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 converted value
:rtype int or long or BitVec