64-bit requires special tags for ctypes