/lively4-foobar/src/external/code-mirror/mode/eiffel