python ctype pointer cast

pointer.c

#include <stdio.h>
#include <stdbool.h>
int main()
{
    int t = 0xaabbccdd;
    bool * p = (bool *)&t;
    printf("%x\n", *p);
    printf("%x\n", *(p+1));
    printf("%x\n", *(p+2));
    printf("%x\n", *(p+3));
}

pointer.py

from ctypes import *

t = c_int(0x10)
pt = pointer(t)
pt_casted = cast(pt, POINTER(c_byte))
pt_casted[0] = 0x10
pt_casted[1] = 0x11
print(t)