void Conversion3(int x) {
  x = (bool)(int)5 + ((int)7);
}