File one-tuples.fmsl, line 2, char 59:
	Component ... not defined.
    File one-tuples.fmsl, line 12, char 7:
	Incompatible operand types in an equality expr.