| <html>
|   <head>
|     <script>
|       src="../../resources/dump-as-markup.js"
|     "
"
|   <body>
|     "This test passes if it doesn't crash.
"
|     <math math>
|       <math option>
|         <math option>
|           <math option>
|           "
"