M2compiler-V3/compiler/tests/c_foreign_prog.mod

MODULE CForeignProg;
FROM CForeign IMPORT Add;
VAR ExitCode : INTEGER;
BEGIN
  IF Add(19, 23) = 42 THEN ExitCode := 42 ELSE ExitCode := 1 END
END CForeignProg.