#include <stdio.h>
#include <errno.h>
#include "arch/x86/include/asm/unistd_32.h"

int main(int argc, char ** argv) {
	printf("Calling ... \n");
	syscall(__NR_hellokernel,42);
}