Sematic C++