Lace error: unknown Lace option.
What to do: check list of options in appendix D of ``Eiffel: The Language''.