added ffi's double pointers