and I prefer non_s390_types as it better describe it