real a = 5.0;
do (int i = 50000, 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;