#include <stdio.h> /* printf, fgets */
int atoi(const char*s
){int r
,c
,a
;for(r
=0,a
=*s
==45?s
++:0;c
=*s
++;r
=r
*10+c
-48);return a
?-r
:r
;}
int main ()
{
int i;
char buffer[256];
fgets (buffer
, 256, stdin
); printf ("The value entered is %d. Its double is %d.\n",i
,i
*2); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+ICAgICAgLyogcHJpbnRmLCBmZ2V0cyAqLwoKaW50IGF0b2koY29uc3QgY2hhcipzKXtpbnQgcixjLGE7Zm9yKHI9MCxhPSpzPT00NT9zKys6MDtjPSpzKys7cj1yKjEwK2MtNDgpO3JldHVybiBhPy1yOnI7fQoKaW50IG1haW4gKCkKewogIGludCBpOwogIGNoYXIgYnVmZmVyWzI1Nl07CiAgcHJpbnRmICgiRW50ZXIgYSBudW1iZXI6ICIpOwogIGZnZXRzIChidWZmZXIsIDI1Niwgc3RkaW4pOwogIGkgPSBhdG9pIChidWZmZXIpOwogIHByaW50ZiAoIlRoZSB2YWx1ZSBlbnRlcmVkIGlzICVkLiBJdHMgZG91YmxlIGlzICVkLlxuIixpLGkqMik7CiAgcmV0dXJuIDA7Cn0K