array[int] of int: arr = [1,2,3];
var int: size = length(arr);

solve satisfy;

output [show(size),"\n"];