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