#include <stdio.h>
int main () {
    volatile float a, b;
    a = 1E10;
    b = 1E10 + 1000;
    while (a < b)
        a = a + 1;
    printf ("%f\n", a);
    return 0;
}