-- Complete this procedure according to the lab sheet
procedure Two_Tasks_Timestamped is
begin
null;
end Two_Tasks_TimestampedTo specTo body;