int *knapsack_01 ( int n, int w[], int c );
void subset_gray_next ( int n, int a[], bool &more, int &ncard, int &iadd );
void timestamp ( );