MODULE TCStringQualProg;
(* Qualified C import: the FOR "C" ABI must also apply to M.P calls. *)
IMPORT TCString;

VAR
  ExitCode : INTEGER;
  s : ARRAY [0..7] OF CHAR;

BEGIN
  s := "hello";
  IF (TCString.m2_c_strlen("hello") = 5)
     AND (TCString.m2_c_strlen(s) = 5) THEN
    ExitCode := 42
  ELSE
    ExitCode := 1
  END
END TCStringQualProg.