definition module PmDynamic;

:: DynamicLinkerNode = EmptyDynamicLinkerNode;