MODULE DBadPriv;
IMPORT DLib;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := DLib.total
END DBadPriv.