Preconditions

• c points to a hashing automaton constructed with the algorithm make_hash.
• c points to the initial state of the hashing automaton.
• i is a strictly positive integer.
• There is enough space to hold all of the elements being copied.