File for.fmsl, line 8, char 34:
	Component ?vars not defined.
    File for.fmsl, line 8, char 43:
	Component ?vars not defined.
    File for.fmsl, line 9, char 20:
	Component ?x not defined.
    File for.fmsl, line 11, char 57:
	Type ?V is not defined.
    File for.fmsl, line 17, char 2:
	Actual parameter list does not match inputs for any definition of
	    operation for