Think I made the int sizes platform-independent