future cffi typing