(*$Foreign*)
DEFINITION MODULE Test;
  PROCEDURE finished();
  PROCEDURE writehex(code: LONGINT);
  PROCEDURE fail(code: LONGINT);
END Test.
