hashtype_tiger::=