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