1.  
  2. sbyte z = (sbyte)(x + y); // OK: explicit conversion
  3.