Function Call in ST

STATE (EN := STATE_EN,
SLOT := STATE_SLOT);


STATE_DONE := STATE.DONE;
STATE_ERR := STATE.ERR;
STATE_ERNO := STATE.ERNO;
STATE_NUM_RECONF := STATE.NUM_RECONF;
STATE_NUM_MY_RECONF:= STATE.NUM_MY_RECONF;
STATE_NUM_EXC_NAK := STATE.NUM_EXC_NAK;
STATE_NUM_BROADCAST:= STATE.NUM_BROADCAST;
STATE_NUM_DISCARD:= STATE.NUM_DISCARD;
STATE_NEXT_NODE_ID:= STATE.NEXT_NODE_ID;