#include #include __attribute__((xray_always_instrument)) void print_parent() { printf("I am parent\n"); } __attribute__((xray_always_instrument)) void* print_child(void* unused) { printf("I am child\n"); return NULL; } int main() { print_parent(); int num_threads = 10; pthread_t tids[num_threads]; for(int i = 0; i < num_threads; i++) { pthread_create(&tids[i], NULL, print_child, NULL); } for(int i = 0; i < num_threads; i++) { pthread_join(tids[i], NULL); } return 0; }