A CFFI -ASDF integration bug