real a = 5.0;
do (int i = 50000, 0, -1) {
  a = a + 5.0;
}
int b = a as nat;
print("Enter a string:");
ste user_string = gets();
print(a.toS());
print(b.toS());
print(user_string);