Test some ctypes conversion code