int a[ 10 ] ;

alloc[ 20 ] a ;	// a の要素数を [ 20 ] に変更

int i = length( a, 0 ) ;

print ( i ) ;