Propose replacing the `loop` keyword with `while true`.