MODULE Test;

IMPORT Files, Out;

VAR
  f : Files.File;
  r : Files.Rider;
  len : LONGINT;
  x : POINTER TO ARRAY OF CHAR;

BEGIN
  f := Files.Old("Test.obn");
  ASSERT(f # NIL);
  Files.Set(r, f, 0);

  len := Files.Length(f);
  NEW(x, len + 1);

  Files.ReadBytes(r, x, len);
  Out.String(x^); Out.Ln;
END Test.