DEFINITION MODULE Hello;

CONST
  text = "Hello Dolly!";

PROCEDURE WriteWithIndent(indent: CARDINAL; what: ARRAY OF CHAR);

END Hello.