SWORD25: int -> int32 correctness