PL/PgSQL supports WHILE, too