1 2 3 4
% Test: Array size mismatch array[1..3] of int: data = [1, 2]; % ERROR: declared 3 but gave 2 solve satisfy;