#include <cstdio>

int main (void)
{
 volatile float a, b;
 a = 1000000000;
 b = 512 + 33;
 a += b;
 printf ("%f\n", a);
 return 0;
}
