DPInit
This module is deprecated. The initialization of the distribution layer is now part of module DP (Section 11.1).
DP