wd<:2x^32