external C class OS_TIMES
Flattened version is
here
Public
Features
adjust_time(
get_timeofday(
os_clock : INT ;
os_time(
p_times(
sa_pause(
set_timeofday(
The Sather Home Page