noise_counter_recv
static int noise_counter_recv(struct noise_counter *, uint64_t);
if (noise_counter_recv(&kp->kp_ctr, nonce) != 0)
if (noise_counter_recv(&ctr, v) != e) { \