Test some working CFFI support (todo: unwrap arguments)