with Instrument;
use Instrument;
procedure Addsa3 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 ("ADDSA3", "100_000 floating pt. Additions (pragma suppress)");
    for I in 1 .. 1000 loop
        for J in 1 .. 10 loop
            Y := Y + X + X + X + X + X + X + X + X + X + X;
            Y := Float (Ident_Int (I + J));
        end loop;
    end loop;
    Stop;
end Addsa3;