Tinsel: shiny threading macros with tracing