https://dejavuhyo.github.io/posts/plsql-while-loop/