simplifying cffi-type