SWORD25: Specify integer size