public int search(String[] array, String value, int pos) { @CodeLabel("header")
  if (array == null || value == null) @CodeLabel("ifNull")
    return -1;
  if (pos >= array.length) @CodeLabel("ifAtEnd")
    return -1; @CodeLabel("notFound")
  if (value.equals(array[pos])) @CodeLabel("ifMatch")
    return pos; @CodeLabel("return value")
  return search(array, value, pos + 1); @CodeLabel("recursion")
}