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