MODULE Test;

IMPORT Files;

TYPE
  String = POINTER TO ARRAY OF CHAR;
  R* = RECORD ch : CHAR END;

VAR
  f : Files.File;
  r : Files.Rider;
  m : R;
  s : String;

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

  Files.Read(r, m.ch);

  ASSERT(s = NIL);
END Test.