Procedural Abstraction and Functions That Return a Value