/Archive/2018/lively4-vivide-test/src/external/code-mirror/mode/eiffel