#include<stdint.h>

void main(void)

{
  int32_t a,b,c,d;

  //a and b in [0,2^(31)-1]

  c = a + b;
  c = c / 2;

  d = b - a;
  d = d / 2;
  d = d + a;
}