1#include <stdio.h>
2
3int syscall_enter(openat)(void *args)
4{
5	puts("Hello, world\n");
6	return 0;
7}
8
9license(GPL);