extern void print_int_array( int maxw, int nel, int * results, FILE * out );