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