debugging libffi