Macro rv::verify_cache_resets

macro_rules! verify_cache_resets {
    ([unchecked], $fn_name : ident, $set_fn : ident, $start_dist : expr, $x :
 expr, $start_value : expr, $change_value : expr) => { ... };
    ([checked], $fn_name : ident, $set_fn : ident, $start_dist : expr, $x : expr,
 $start_value : expr, $change_value : expr) => { ... };
}