#include <stdio.h>

void trace_lwp_begin() {
    printf("hello from lwp!\n");
}

void trace_lwp_end() {
}