int a[ 10 ] ;

alloc( a, 20 ) ;	// Change the size of a to 20

int i = length( a, 0 ) ;

print ( i ) ;