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