using hdf5.ffi properly