@chr @jk @unascribed
uintptr64_t w_dst_ve(ssize_t cntr);