extern "C" {
    int printf( const char *, ... );
}

// Insertion sort on a, of length n
forall( type T | { int ?<?(T, T); } )
void sort( T *a, unsigned long n ) {
    if ( n <= 1 ) return;
	
    for ( unsigned long i = 1; i < n; i += 1 ) {
	T x; x = a[i];
	unsigned long j = i;
	for ( j; j > 0 && x < a[j-1]; j -= 1 ) {
	    a[j] = a[j - 1];
	} // for
	a[j] = x;
    } // for
}

int main(void) {
    const int size = 4;
    int a[4] = { 0, 3, -2, 100 };
    printf( "a:[%d %d %d %d]\n", a[0], a[1], a[2], a[3] );
	
    sort( a, size );
    printf( "a:[%d %d %d %d]\n", a[0], a[1], a[2], a[3] );
    {
	// int ?<?(int, int) = ?>?;
	int ?<?( int a, int b ) { return a > b; }
	sort( a, size );
    }
    printf( "a:[%d %d %d %d]\n", a[0], a[1], a[2], a[3] );
}