https://www.postgresql.org/docs/current/plpgsql-control-structures.html