let synch_upd automata func status loc caller sid = synch_upd_linear automata func status loc caller sid