+
+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;
+}