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

int
main(void)
{
#ifdef __NR_getrandom
	char buf[4];

	if (syscall(__NR_getrandom, buf, sizeof(buf) - 1, 0) != sizeof(buf) - 1)
		return 77;
	if (syscall(__NR_getrandom, buf, sizeof(buf), 1) != sizeof(buf))
		return 77;
	if (syscall(__NR_getrandom, buf, sizeof(buf), 0x3003) != -1)
		return 77;

	return 0;
#else
	return 77;
#endif
}