<html>
<body>
Test passes if it does not crash.
<div id="test" contenteditable="true">
<ins><math>ABCD</math></ins>
</div>
<script>
    if (window.testRunner)
        testRunner.dumpAsText();

    var test = document.getElementById("test");
    test.focus();
    document.execCommand("SelectAll");
    document.execCommand("RemoveFormat");
    document.body.removeChild(test);
</script>
</body>
</html>