-- This is a R1000 function to get CPU time in seconds of type DURATION

with System_Utilities;
function Cpu_Time_Clock return Duration is
begin
    return System_Utilities.Cpu;
end Cpu_Time_Clock;