Be slightly more correct in ctypes call