#ifdef HAVE_CONFIG_H
# include "config.h"
#endif

#include <stdio.h>
#include <unistd.h>
#include <sys/syscall.h>

int
main (void)
{
	if (syscall(__NR_times, 0x42) != -1)
		return 77;
	puts("times(0x42) = -1 EFAULT (Bad address)");
	puts("+++ exited with 0 +++");

	return 0;
}