M2compiler-V3/compiler/tests/t_libc.mod

MODULE tlibc;
// FROM libc: intrinsic permissive external (printf/exit bind to C).
FROM libc IMPORT printf, exit;
VAR ExitCode : INTEGER;
BEGIN
  printf("tlibc %d\n", 42);
  exit(42)
END tlibc.