08.05 Run-time environments: Procedures as arguments