MODULE DBasic; FROM DLib IMPORT v, P; VAR w : INTEGER; VAR ExitCode : INTEGER; BEGIN w := v + DLib.c; DLib.Q(w); ExitCode := P(w) + DLib.v END DBasic.