def uint32_from_int32(value):
    """The unsigned 32-bit integer that is stored using bit-by-bit the same
  binary data as the givien signed 32-bit integer"""
    if value < 0:
        value = value + 4294967296
    return value
