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