#include RSC.cam

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

STATE st   : A-seq;

FUNC INIT(): VOID
STATE  st    <- <>;

FUNC EMPTY(): BOOL
RETURN st   ==<>;