let make_id () = let _ = cur_id := !cur_id + 1 in !cur_id