with Instrument;
use Instrument;
procedure Addsa1 is
    --  PRAGMA SUPPRESS (ACCESS_CHECK);
    --  PRAGMA SUPPRESS (DISCRIMINANT_CHECK);
    --  PRAGMA SUPPRESS (INDEX_CHECK);
    --  PRAGMA SUPPRESS (LENGTH_CHECK);
    --  PRAGMA SUPPRESS (RANGE_CHECK);
    --  PRAGMA SUPPRESS (DIVISION_CHECK);
    --  PRAGMA SUPPRESS (OVERFLOW_CHECK);
    --  PRAGMA SUPPRESS (STORAGE_CHECK);

    X : Float := 0.000_001;
    Y : Float := 0.0;

begin
    Start ("ADDSA1", "100_000 floating pt. Additions (control)");
    for I in 1 .. 1000 loop
        for J in 1 .. 10 loop
            -- Y := Y + X + X + X + X + X + X + X + X + X + X;--included in test ver
            Y := Float (Ident_Int (I + J));
        end loop;
    end loop;
    Stop;
end Addsa1;