is_write_backward
} else if (is_write_backward(event)){
if (is_write_backward(output_event) != is_write_backward(event))
unlikely(is_write_backward(event)));