(* Copyright (C) 1990, Digital Equipment Corporation.         *)
(* All rights reserved.                                       *)
(* See the file COPYRIGHT for a full description.             *)

(* Last modified on Fri Nov  1 16:12:02 PST 1991 by kalsow        *)
(*      modified on Wed Oct 10 00:30:54 1990 by muller        *)


UNSAFE MODULE Main;

IMPORT RTProc, Wr, Stdio, Fmt, Test;
<*FATAL ANY*>

VAR n := RTProc.NumProcedures ();

PROCEDURE Toto () = BEGIN END Toto;

VAR fp: RTProc.Fingerprint;
    proc: RTProc.Proc;

BEGIN
  Wr.PutText (Stdio.stderr, Fmt.Int (n) & " procedures\n");

  fp := RTProc.ToFingerprint (LOOPHOLE (Toto, ADDRESS));
  Wr.PutText (Stdio.stderr, 
	      "Toto fingerprint = {" & Fmt.Int (fp[0]) & ", "
                 & Fmt.Int (fp[1]) & "}\n");

  proc := RTProc.FromFingerprint (fp);
  Test.checkB (proc = LOOPHOLE (Toto, ADDRESS), TRUE);

  Test.done ();
END Main.