SWORD25: Specifying int size to make Amiga happy