Prototype

template <typename DFA>
void make_hash(DFA& a);