I assumed that if we change it for win32, the case may also arise for win64. Is that a correct assumption?