1 #include "tests.h"
2 #include <stdio.h>
3 #include <unistd.h>
4 #include <asm/unistd.h>
5 
6 int
7 main(void)
8 {
9 	printf("gettid() = %ld\n", syscall(__NR_gettid));
10 	puts("+++ exited with 0 +++");
11 	return 0;
12 }
13