assume 32-to-64 bit zero-extension