still trying to be 64-bit compatible throughout
tweaked comments on iOS bugs fixed and unfixed