counter_validate
if (unlikely(!counter_validate(&keypair->receiving_counter,
if (counter_validate(counter, n) != (v)) { \