void insertion_sort(int a[], int len) {
    for (int i = 1; i < len; ++i) {
      for (int j = i; j > 0 && a[j - 1] > a[j]; --j) {
        swap(&a[j], &a[j - 1]);
      }
    }
  }