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]); } } }