The beginning of a semantic check file