DR_TYPE_VIO
dr_generate_event(DR_TYPE_VIO, SE_HINT_INSERT);
dr_generate_event(DR_TYPE_VIO, SE_HINT_REMOVE);
if (dr_is_disabled(DR_TYPE_VIO)) {
(t) == DR_TYPE_VIO ? "vio" : \