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