skeinpkg.vhd ethz_skein.vhd