Minimal modification of semcheck.