A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95