#ifndef _SYS_TIMES_H
#define _SYS_TIMES_H

#include <times.h>

#endif /* _SYS_TIMES_H */