public void insertionSort(int[] array) @CodeLabel("header")
{
  int i, j, v; @CodeLabel("variables")
  for (i=1; i<array.length; i++) @CodeLabel("outerLoop")
  {
    v = array[i]; @CodeLabel("takeOut")
    for (j=i; j>0 && v<array[j-1]; j--) @CodeLabel("innerLoop")
      array[j] = array[j-1]; @CodeLabel("moveForward")
    array[j] = v; @CodeLabel("insert")
  } @CodeLabel("endOuterLoop")
} @CodeLabel("end")