Theoretically, we have a script that generates complete ctypes bindings.