real a = 5.0;
do (int i = 5000, 0, -1) {
a = a + 5.0;
}
int b = a as nat;
print("Enter a string:");
str user_string = read();
print a.str;
print b.str;
print user_string;