; Creation date: Fri Dec 12 10:56:56 WET 1997

STATE st   : A;

FUNC RD(): A
RETURN st   ;

FUNC WR(a: A): VOID
STATE  st    <- a;

FUNC NOP(): VOID
RETURN nil;

FUNC EQL(a: A): BOOL
RETURN a==st   ;