commit semantic.h