Of course it *can* be typedefed to a 64-bit, I said I didn't see any reason for it to be typedefed to a 64-bit int. Btw, that code is found in neither WinUAE nor FS-UAE...