more cffi fun definitions...