or_options_in: {
                lineWrapping: true,
                autoCloseBrackets: true
            },
            codemirror_options_out: {
                lineWrapping: true
            },
            selector_eval_html: '.html',
        };
        </script>
        <script src="/lib/mirror_extensions.js"></script>
        <script src="/brainfuck.js"></script>
        <script src="/fig/js/klipse.fig.js"></script>
    </body>
</html>
