The text e3d5082c7e37, as Debian 5.0 (Lenny) shipped it.
deallocate an HDF data set
hdf_destroy(3) on Linux now
