MODULE DBadNoimpl;
IMPORT DLib;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := DLib.Get()
END DBadNoimpl.