The text 0c063d352756, as Debian 4.0 (Etch) shipped it.
deallocate an HDF data set
hdf_destroy(3) on Linux now
