let
cfg_fct_in_id cfg = cfg.start_id + 1