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