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