MODULE tstring;
// gm2's pervasive opaque String type (pointer-like).
VAR s, t : String;
VAR ExitCode : INTEGER;
BEGIN
  s := NIL; t := s;
  IF (s = NIL) AND (t = NIL) THEN ExitCode := 42 ELSE ExitCode := 1 END
END tstring.