wd<:2^32x