-
-void get_single_index_integer(int *x, int *val, int *index)
-{
- while (x[*index] != *val) (*index)++;
- *index += 1;
-}
-
-void get_two_index_integer(int *x, int *val, int *index)
-{
- while (x[index[0]] != *val) index[0]++;
- index[1] = index[0] + 1;
- while (x[index[1]] != *val) index[1]++;
- index[0] += 1;
- index[1] += 1;
-}