note about some types being different on 64-bit