#ifndef _SYS_TIMES_H
#include <posix/sys/times.h>

/* Now define the internal interfaces.  */
extern clock_t __times __P ((struct tms *__buffer));
#endif