int a[10];

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

int i = length(a, 0);

print(i);