Figure 1: Simple example (modules ABC, XYZ source files). The red arrows represent function calls and the black arrows are protected data access. (Inheritance and polymorphism are not available in this model.)