#include <astl.h>
#include <dfa.h>
#include <ccopy.h>
#include <stream.h>
int main()
{
DFA_matrix<> A;
// Construction...
DFA_stream out(cout);
clone(out, dfirstc(A));
DFA_matrix<> B;
clone_cursor<plain> c(cin);
B.initial(clone(B, c));
}