MODULE WBadStr;
VAR x : INTEGER;
BEGIN
  WriteString(x)
END WBadStr.