toward proper ctypes