@box(types.RawPointer)
def box_raw_pointer(typ, val, c):
 ll_intp = c.context.get_value_type(types.uintp)
 addr = c.builder.ptrtoint(val, ll_intp)
 return c.box(types.uintp, addr)

@ box ( types . RawPointer ) def box_raw_pointer ( typ , val , c ) : ll_intp = c . context . get_value_type ( types . uintp ) addr = c . builder . ptrtoint ( val , ll_intp ) return c . box ( types . uintp , addr )
convert a raw pointer to a python int .