UNTRACKED_PARAM
mark_untracked_lost(expr, param, key, UNTRACKED_PARAM);
mark_all_params(return_id, return_ranges, UNTRACKED_PARAM);
type = UNTRACKED_PARAM;
select_return_states_hook(UNTRACKED_PARAM, &mark_untracked);