[in progress] Instrumentation && more sync primitives && trace

one statement per line please-please-please
you won't be able to set gdb breakpoint on the return
and also the control flow is invisible during quick look