File lab7-testtool-ideas.fmsl, line 25, char 24:
	Component Name not defined.
    File lab7-testtool-ideas.fmsl, line 57, char 54:
	Component ... not defined.