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