Writing Procedures for Selection Techniques and Looping