Add semcheck stub