with Ada.Command_Line;

-- It should be possible to compile this with -fno-bounds-check and
-- avoid "raised CONSTRAINT_ERROR : boundscheck.adb:11 index check failed"
-- , but I couldn't seem to get this to work.

procedure boundscheck is
  a, b, c: array (1..10) of Integer;
  x: Integer;
begin
  x := b(Integer'Value(Ada.Command_Line.Argument(1)));
end boundscheck;