int main(void) {
  char a = 1, b = 2, c = 3;
  char d = a + b;
  char e = a + b + c;
  return e == d + c;
}