CTypes on a 64 bit machine truncates pointers to 32 bits?

["Martin v. Löwis"]

>>>> foolib = cdll.LoadLibrary('foo.so')
>>>> foolib.foo(0xF00000000)
> 0

Shouldn't you tell ctypes that the argument and the result
of foo is a pointer?

Regards,
Martin