Copyright (C) 1994, Digital Equipment Corp.
SpaceID.m3
UNSAFE MODULE; IMPORT Fingerprint, TimeStamp; VAR myT: T; PROCEDURE SpaceID Mine () : T = BEGIN RETURN myT; END Mine; PROCEDUREComputeFP () : T = VAR ts := TimeStamp.New(); BEGIN RETURN Fingerprint.FromChars( LOOPHOLE(ts, ARRAY [0..15] OF CHAR), Fingerprint.OfEmpty); END ComputeFP; BEGIN myT := ComputeFP(); END SpaceID.