(make_hash_table, copy_hash_table): Use allocate_hash_table.
Attach a file by drag & drop or click to upload