“Inside every well-written large program is a well-written small program.”

        — C. A. R. Hoare