ops è un do while, non ci avevo fatto caso...

Si hai ragione è corretta.