let cfg_exit_id cfg = cfg.start_id + 3