type XYZ = N
type XYZ = Z