Create semant.cc