A program module structured in such a way that, at execution time, certain control sections are loaded only when referenced.