let resume_search_from procs init = assert false