-s_instr_trace_writer_t active_writer = {&print_NULL, &print_NULL, &print_NULL, &print_NULL, &print_NULL, &print_NULL,
- &print_NULL, &print_NULL, &print_NULL, &print_NULL, &print_NULL, &print_NULL,
- &print_NULL, &print_NULL, &print_NULL, &print_NULL, &print_NULL, &print_NULL};
-