s390:31-bit