File precond-error.fmsl, line 2, char 10:
	Divide by zero.
{ nil, nil }