#include <stdio.h>
#include <stdlib.h>
int main(void)
{
int a;
a = 232;
printf("Hallo Welt!%i\n",a);
return EXIT_SUCCESS;
} /* end main() */
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KIAppbnQgbWFpbih2b2lkKQp7CiAgICBpbnQgYTsKICAgIGEgPSAyMzI7CiAgICBwcmludGYoIkhhbGxvIFdlbHQhJWlcbiIsYSk7CiAgICByZXR1cm4gRVhJVF9TVUNDRVNTOwp9IC8qIGVuZCBtYWluKCkgKi8=