let
new_trans_list_id () =
let
cur = !next_transition_list
in
incr next_transition_list;
cur