This works as designed.  ctypes intentionally does no overflow checking when using the c_int, c_uint, and related integer types.  Instead, only the available bits are used - just as in C.

Closing as invalid (sorry).