/lively4-active-expression-proxies/src/external/code-mirror/mode/eiffel