Wscratch must be 32-bit.