/lively4-mpm-debugging/src/external/code-mirror/mode/eiffel