#include <stdio.h>
int main(void) {
int r,x;
x=123;
r=456;
printf("%d %d\n",r,x);
printf("%d\n",(r=x)=65537);
printf("%d %d\n",r,x);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CiAgICBpbnQgcix4OwogICAgeD0xMjM7CiAgICByPTQ1NjsKICAgIHByaW50ZigiJWQgJWRcbiIscix4KTsKICAgIHByaW50ZigiJWRcbiIsKHI9eCk9NjU1MzcpOwogICAgcHJpbnRmKCIlZCAlZFxuIixyLHgpOwogICAgcmV0dXJuIDA7Cn0=