/lively4-stable/src/external/code-mirror/mode/velocity