merges in semcheck_mod