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