michael@0: (function() {
michael@0:   do {
michael@0:     try {
michael@0:       return
michael@0:     }
michael@0:     catch(x if (c)) {
michael@0:       return
michael@0:     } (x)
michael@0:   } while (x)
michael@0: })()
michael@0: 
michael@0: /* Don't assert. */
michael@0: