with Calendar;
use Calendar;
with Check;
use Check;
    -- This will not compile without support
    -- because it lacks DRIMAGE declaration
    -- and assertions are abbreviated
procedure Sample (
    Start_Time	: in	    Time;
    Stop_Time	: in	    Time;
    Start_Size	: in	    Float;
    Stop_Size	: in	    Float;
    Growth_Rate	: in out    Float) is

    Delta_Time	: Duration;
    Delta_Size	: Float;
begin
    Assert (Start_Time < Stop_Time);
    Assert (Start_Size < Stop_Size);
    Delta_Time := Stop_Time - Start_Time;
    Delta_Size := Stop_Size - Start_Size;
    Growth_Rate := Delta_Size / Float (Delta_Time);
    Assert (Growth_Rate < 0.0);
end Sample;