ushort z = (ushort)(x + y);   // OK: explicit conversion