semant.c