#include "syscalls.h"

syscall(times,times)