public int search(int[] array, int value) { #header
  if (array == null) #ifNull
    return -1;
  int nrElems = array.length; #getArrayLength
  int i = 0; #installMarker
  while (i < nrElems && array[i] != x) { #whileLoop
    i++; #moveMarker
  }
  
  if (i < nrElems) { #outerIf
    return i; #return value
  }
  return -1; #notFound
}