#include "tests.h"
#include <assert.h>
#include <stdio.h>
#include <unistd.h>
#include <asm/unistd.h>
int
main (void)
{
assert(syscall(__NR_times, 0x42) == -1);
printf("times(0x42) = -1 EFAULT (%m)\n");
puts("+++ exited with 0 +++");
return 0;
}