5.2 Nested loops and procedures