GenericWidthGeneratorPtr widthptr;
ofstream widout("widths.output");