#include <stdio.h>
#include <sys/random.h>

int main(void) {
	int x;

	getrandom(&x, sizeof(typeof(x)), 0);
	printf("Random number from the kernel: %d\n", x);

	return 0;
}