M2compiler-V3/compiler/tests/t_qual.mod

MODULE TQual;
IMPORT DLibC;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := DLibC.K
END TQual.