Per @msonnabaum, `loop do` instead of `while true do`.