let
cfg_fct_out_id cfg = cfg.start_id + 2