s390:64-bit