chore: update stage0

stage0/stdlib/Init/Data/Array/Mem.c

@@ -1047,7 +1047,7 @@ static lean_object* _init_l_Array___aux__Init__Data__Array__Mem______macroRules_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Init/Data/List/BasicAux.c

@@ -1494,7 +1494,7 @@ static lean_object* _init_l_List___aux__Init__Data__List__BasicAux______macroRul
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Init/Meta.c

@@ -2914,7 +2914,7 @@ static lean_object* _init_l_Lean_Name_toString_maybePseudoSyntax___closed__2() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }
@@ -22344,7 +22344,7 @@ static lean_object* _init_l_Lean_Parser_Tactic___aux__Init__Meta______macroRules
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("stx_?", 5);
+x_1 = lean_mk_string_from_bytes("stx_\?", 5);
 return x_1;
 }
 }

stage0/stdlib/Init/Notation.c

@@ -3359,7 +3359,7 @@ static lean_object* _init_l_stx___x3f___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("stx_?", 5);
+x_1 = lean_mk_string_from_bytes("stx_\?", 5);
 return x_1;
 }
 }
@@ -3377,7 +3377,7 @@ static lean_object* _init_l_stx___x3f___closed__3() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }
@@ -4374,7 +4374,7 @@ static lean_object* _init_l_stx___x2c_x2a_x2c_x3f___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("stx_,*,?", 8);
+x_1 = lean_mk_string_from_bytes("stx_,*,\?", 8);
 return x_1;
 }
 }
@@ -4392,7 +4392,7 @@ static lean_object* _init_l_stx___x2c_x2a_x2c_x3f___closed__3() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(",*,?", 4);
+x_1 = lean_mk_string_from_bytes(",*,\?", 4);
 return x_1;
 }
 }
@@ -4529,7 +4529,7 @@ static lean_object* _init_l_stx___x2c_x2b_x2c_x3f___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("stx_,+,?", 8);
+x_1 = lean_mk_string_from_bytes("stx_,+,\?", 8);
 return x_1;
 }
 }
@@ -4547,7 +4547,7 @@ static lean_object* _init_l_stx___x2c_x2b_x2c_x3f___closed__3() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(",+,?", 4);
+x_1 = lean_mk_string_from_bytes(",+,\?", 4);
 return x_1;
 }
 }

stage0/stdlib/Init/NotationExtra.c

@@ -2700,7 +2700,7 @@ static lean_object* _init_l_Lean_unifConstraint___closed__6() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }
@@ -9647,7 +9647,7 @@ static lean_object* _init_l_unexpandGetElem_x3f___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("term__[_]_?", 11);
+x_1 = lean_mk_string_from_bytes("term__[_]_\?", 11);
 return x_1;
 }
 }
@@ -9665,7 +9665,7 @@ static lean_object* _init_l_unexpandGetElem_x3f___closed__3() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Init/Tactics.c

@@ -9873,7 +9873,7 @@ static lean_object* _init_l_Lean_Parser_Tactic___aux__Init__Tactics______macroRu
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }
@@ -15513,7 +15513,7 @@ static lean_object* _init_l___aux__Init__Tactics______macroRules__tacticGet__ele
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("\"failed to prove index is valid, possible solutions:\n  - Use `have`-expressions to prove the index is valid\n  - Use `a[i]!` notation instead, runtime check is perfomed, and 'Panic' error message is produced if index is not valid\n  - Use `a[i]?` notation instead, result is an `Option` type\n  - Use `a[i]'h` notation instead, where `h` is a proof that index is valid\"", 366);
+x_1 = lean_mk_string_from_bytes("\"failed to prove index is valid, possible solutions:\n  - Use `have`-expressions to prove the index is valid\n  - Use `a[i]!` notation instead, runtime check is perfomed, and 'Panic' error message is produced if index is not valid\n  - Use `a[i]\?` notation instead, result is an `Option` type\n  - Use `a[i]'h` notation instead, where `h` is a proof that index is valid\"", 366);
 return x_1;
 }
 }

stage0/stdlib/Init/Util.c

@@ -718,7 +718,7 @@ static lean_object* _init_l_term_____x5b___x5d___x3f___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("term__[_]_?", 11);
+x_1 = lean_mk_string_from_bytes("term__[_]_\?", 11);
 return x_1;
 }
 }
@@ -934,7 +934,7 @@ static lean_object* _init_l_term_____x5b___x5d___x3f___closed__22() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }
@@ -1034,7 +1034,7 @@ static lean_object* _init_l___aux__Init__Util______macroRules__term_____x5b___x5
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("getElem?", 8);
+x_1 = lean_mk_string_from_bytes("getElem\?", 8);
 return x_1;
 }
 }

stage0/stdlib/Lean/Compiler/IR/EmitC.c

@@ -8725,7 +8725,7 @@ static lean_object* _init_l_String_foldlAux___at_Lean_IR_EmitC_quoteString___spe
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("\\?", 2);
+x_1 = lean_mk_string_from_bytes("\\\?", 2);
 return x_1;
 }
 }

stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c

@@ -145,7 +145,7 @@ static lean_object* _init_l_Lean_Compiler_LCNF_Simp_inlineProjInst_x3f_visit___c
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.Simp.inlineProjInst?.visit", 45);
+x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.Simp.inlineProjInst\?.visit", 45);
 return x_1;
 }
 }

stage0/stdlib/Lean/Compiler/LCNF/Specialize.c

@@ -5719,7 +5719,7 @@ static lean_object* _init_l_Lean_Compiler_LCNF_Specialize_specializeApp_x3f___la
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.Specialize.specializeApp?", 44);
+x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.Specialize.specializeApp\?", 44);
 return x_1;
 }
 }

stage0/stdlib/Lean/Compiler/LCNF/Util.c

@@ -609,7 +609,7 @@ static lean_object* _init_l_Array_mapMUnsafe_map___at_Lean_Compiler_LCNF_getCase
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.getCasesInfo?", 32);
+x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.getCasesInfo\?", 32);
 return x_1;
 }
 }
@@ -1124,7 +1124,7 @@ static lean_object* _init_l_Lean_Compiler_LCNF_isCasesApp_x3f___closed__4() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.isCasesApp?", 30);
+x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.isCasesApp\?", 30);
 return x_1;
 }
 }

stage0/stdlib/Lean/Data/Lsp/Basic.c

@@ -3094,7 +3094,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonLo
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("originSelectionRange?", 21);
+x_1 = lean_mk_string_from_bytes("originSelectionRange\?", 21);
 return x_1;
 }
 }
@@ -3871,7 +3871,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonCo
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("arguments?", 10);
+x_1 = lean_mk_string_from_bytes("arguments\?", 10);
 return x_1;
 }
 }
@@ -4395,7 +4395,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonTe
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("annotationId?", 13);
+x_1 = lean_mk_string_from_bytes("annotationId\?", 13);
 return x_1;
 }
 }
@@ -5217,7 +5217,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonVe
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("version?", 8);
+x_1 = lean_mk_string_from_bytes("version\?", 8);
 return x_1;
 }
 }
@@ -6024,7 +6024,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonCh
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("description?", 12);
+x_1 = lean_mk_string_from_bytes("description\?", 12);
 return x_1;
 }
 }
@@ -7193,7 +7193,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonCr
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("options?", 8);
+x_1 = lean_mk_string_from_bytes("options\?", 8);
 return x_1;
 }
 }
@@ -15313,7 +15313,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonAp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("label?", 6);
+x_1 = lean_mk_string_from_bytes("label\?", 6);
 return x_1;
 }
 }
@@ -16512,7 +16512,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonDo
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("language?", 9);
+x_1 = lean_mk_string_from_bytes("language\?", 9);
 return x_1;
 }
 }
@@ -16560,7 +16560,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonDo
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("scheme?", 7);
+x_1 = lean_mk_string_from_bytes("scheme\?", 7);
 return x_1;
 }
 }
@@ -16608,7 +16608,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonDo
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("pattern?", 8);
+x_1 = lean_mk_string_from_bytes("pattern\?", 8);
 return x_1;
 }
 }
@@ -17063,7 +17063,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonSt
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("id?", 3);
+x_1 = lean_mk_string_from_bytes("id\?", 3);
 return x_1;
 }
 }
@@ -17397,7 +17397,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonTe
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("documentSelector?", 17);
+x_1 = lean_mk_string_from_bytes("documentSelector\?", 17);
 return x_1;
 }
 }
@@ -18775,7 +18775,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonWo
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("workDoneToken?", 14);
+x_1 = lean_mk_string_from_bytes("workDoneToken\?", 14);
 return x_1;
 }
 }
@@ -19008,7 +19008,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonPa
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("partialResultToken?", 19);
+x_1 = lean_mk_string_from_bytes("partialResultToken\?", 19);
 return x_1;
 }
 }

stage0/stdlib/Lean/Data/Lsp/Capabilities.c

@@ -502,7 +502,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("insertReplaceSupport?", 21);
+x_1 = lean_mk_string_from_bytes("insertReplaceSupport\?", 21);
 return x_1;
 }
 }
@@ -842,7 +842,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("completionItem?", 15);
+x_1 = lean_mk_string_from_bytes("completionItem\?", 15);
 return x_1;
 }
 }
@@ -1284,7 +1284,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("completion?", 11);
+x_1 = lean_mk_string_from_bytes("completion\?", 11);
 return x_1;
 }
 }
@@ -1332,7 +1332,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("codeAction?", 11);
+x_1 = lean_mk_string_from_bytes("codeAction\?", 11);
 return x_1;
 }
 }
@@ -1922,7 +1922,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("showDocument?", 13);
+x_1 = lean_mk_string_from_bytes("showDocument\?", 13);
 return x_1;
 }
 }
@@ -2155,7 +2155,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("groupsOnLabel?", 14);
+x_1 = lean_mk_string_from_bytes("groupsOnLabel\?", 14);
 return x_1;
 }
 }
@@ -2519,7 +2519,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("documentChanges?", 16);
+x_1 = lean_mk_string_from_bytes("documentChanges\?", 16);
 return x_1;
 }
 }
@@ -2567,7 +2567,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("changeAnnotationSupport?", 24);
+x_1 = lean_mk_string_from_bytes("changeAnnotationSupport\?", 24);
 return x_1;
 }
 }
@@ -2615,7 +2615,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("resourceOperations?", 19);
+x_1 = lean_mk_string_from_bytes("resourceOperations\?", 19);
 return x_1;
 }
 }
@@ -3083,7 +3083,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("workspaceEdit?", 14);
+x_1 = lean_mk_string_from_bytes("workspaceEdit\?", 14);
 return x_1;
 }
 }
@@ -3683,7 +3683,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("textDocument?", 13);
+x_1 = lean_mk_string_from_bytes("textDocument\?", 13);
 return x_1;
 }
 }
@@ -3731,7 +3731,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("window?", 7);
+x_1 = lean_mk_string_from_bytes("window\?", 7);
 return x_1;
 }
 }
@@ -3779,7 +3779,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("workspace?", 10);
+x_1 = lean_mk_string_from_bytes("workspace\?", 10);
 return x_1;
 }
 }
@@ -4812,7 +4812,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("textDocumentSync?", 17);
+x_1 = lean_mk_string_from_bytes("textDocumentSync\?", 17);
 return x_1;
 }
 }
@@ -4860,7 +4860,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("completionProvider?", 19);
+x_1 = lean_mk_string_from_bytes("completionProvider\?", 19);
 return x_1;
 }
 }
@@ -5268,7 +5268,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("semanticTokensProvider?", 23);
+x_1 = lean_mk_string_from_bytes("semanticTokensProvider\?", 23);
 return x_1;
 }
 }
@@ -5316,7 +5316,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("codeActionProvider?", 19);
+x_1 = lean_mk_string_from_bytes("codeActionProvider\?", 19);
 return x_1;
 }
 }

stage0/stdlib/Lean/Data/Lsp/CodeActions.c

@@ -1230,7 +1230,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("only?", 5);
+x_1 = lean_mk_string_from_bytes("only\?", 5);
 return x_1;
 }
 }
@@ -1286,7 +1286,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("triggerKind?", 12);
+x_1 = lean_mk_string_from_bytes("triggerKind\?", 12);
 return x_1;
 }
 }
@@ -1791,7 +1791,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("workDoneToken?", 14);
+x_1 = lean_mk_string_from_bytes("workDoneToken\?", 14);
 return x_1;
 }
 }
@@ -1847,7 +1847,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("partialResultToken?", 19);
+x_1 = lean_mk_string_from_bytes("partialResultToken\?", 19);
 return x_1;
 }
 }
@@ -2867,7 +2867,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("codeActionKinds?", 16);
+x_1 = lean_mk_string_from_bytes("codeActionKinds\?", 16);
 return x_1;
 }
 }
@@ -2915,7 +2915,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("resolveProvider?", 16);
+x_1 = lean_mk_string_from_bytes("resolveProvider\?", 16);
 return x_1;
 }
 }
@@ -3977,7 +3977,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("kind?", 5);
+x_1 = lean_mk_string_from_bytes("kind\?", 5);
 return x_1;
 }
 }
@@ -4025,7 +4025,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("diagnostics?", 12);
+x_1 = lean_mk_string_from_bytes("diagnostics\?", 12);
 return x_1;
 }
 }
@@ -4073,7 +4073,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("isPreferred?", 12);
+x_1 = lean_mk_string_from_bytes("isPreferred\?", 12);
 return x_1;
 }
 }
@@ -4121,7 +4121,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("disabled?", 9);
+x_1 = lean_mk_string_from_bytes("disabled\?", 9);
 return x_1;
 }
 }
@@ -4169,7 +4169,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("edit?", 5);
+x_1 = lean_mk_string_from_bytes("edit\?", 5);
 return x_1;
 }
 }
@@ -4217,7 +4217,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("command?", 8);
+x_1 = lean_mk_string_from_bytes("command\?", 8);
 return x_1;
 }
 }
@@ -4265,7 +4265,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("data?", 5);
+x_1 = lean_mk_string_from_bytes("data\?", 5);
 return x_1;
 }
 }
@@ -5867,7 +5867,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("dynamicRegistration?", 20);
+x_1 = lean_mk_string_from_bytes("dynamicRegistration\?", 20);
 return x_1;
 }
 }
@@ -5923,7 +5923,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("isPreferredSupport?", 19);
+x_1 = lean_mk_string_from_bytes("isPreferredSupport\?", 19);
 return x_1;
 }
 }
@@ -5979,7 +5979,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("disabledSupport?", 16);
+x_1 = lean_mk_string_from_bytes("disabledSupport\?", 16);
 return x_1;
 }
 }
@@ -6035,7 +6035,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("dataSupport?", 12);
+x_1 = lean_mk_string_from_bytes("dataSupport\?", 12);
 return x_1;
 }
 }
@@ -6091,7 +6091,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("honorsChangeAnnotations?", 24);
+x_1 = lean_mk_string_from_bytes("honorsChangeAnnotations\?", 24);
 return x_1;
 }
 }
@@ -6147,7 +6147,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("codeActionLiteralSupport?", 25);
+x_1 = lean_mk_string_from_bytes("codeActionLiteralSupport\?", 25);
 return x_1;
 }
 }
@@ -6203,7 +6203,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("resolveSupport?", 15);
+x_1 = lean_mk_string_from_bytes("resolveSupport\?", 15);
 return x_1;
 }
 }

stage0/stdlib/Lean/Data/Lsp/Diagnostics.c

@@ -3834,7 +3834,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("fullRange?", 10);
+x_1 = lean_mk_string_from_bytes("fullRange\?", 10);
 return x_1;
 }
 }
@@ -3882,7 +3882,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("severity?", 9);
+x_1 = lean_mk_string_from_bytes("severity\?", 9);
 return x_1;
 }
 }
@@ -3930,7 +3930,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("code?", 5);
+x_1 = lean_mk_string_from_bytes("code\?", 5);
 return x_1;
 }
 }
@@ -3978,7 +3978,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("source?", 7);
+x_1 = lean_mk_string_from_bytes("source\?", 7);
 return x_1;
 }
 }
@@ -4046,7 +4046,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("tags?", 5);
+x_1 = lean_mk_string_from_bytes("tags\?", 5);
 return x_1;
 }
 }
@@ -4094,7 +4094,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("relatedInformation?", 19);
+x_1 = lean_mk_string_from_bytes("relatedInformation\?", 19);
 return x_1;
 }
 }
@@ -4142,7 +4142,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("data?", 5);
+x_1 = lean_mk_string_from_bytes("data\?", 5);
 return x_1;
 }
 }
@@ -6045,7 +6045,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("version?", 8);
+x_1 = lean_mk_string_from_bytes("version\?", 8);
 return x_1;
 }
 }

stage0/stdlib/Lean/Data/Lsp/Extra.c

@@ -1142,7 +1142,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Extra_0__Lean_Lsp_fromJsonLe
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("dependencyBuildMode?", 20);
+x_1 = lean_mk_string_from_bytes("dependencyBuildMode\?", 20);
 return x_1;
 }
 }

stage0/stdlib/Lean/Data/Lsp/InitShutdown.c

@@ -415,7 +415,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_InitShutdown_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("version?", 8);
+x_1 = lean_mk_string_from_bytes("version\?", 8);
 return x_1;
 }
 }
@@ -985,7 +985,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_InitShutdown_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("editDelay?", 10);
+x_1 = lean_mk_string_from_bytes("editDelay\?", 10);
 return x_1;
 }
 }
@@ -1033,7 +1033,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_InitShutdown_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("hasWidgets?", 11);
+x_1 = lean_mk_string_from_bytes("hasWidgets\?", 11);
 return x_1;
 }
 }
@@ -3457,7 +3457,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_InitShutdown_0__Lean_Lsp_fro
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("serverInfo?", 11);
+x_1 = lean_mk_string_from_bytes("serverInfo\?", 11);
 return x_1;
 }
 }

stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c

@@ -1328,7 +1328,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("triggerCharacters?", 18);
+x_1 = lean_mk_string_from_bytes("triggerCharacters\?", 18);
 return x_1;
 }
 }
@@ -1392,7 +1392,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("allCommitCharacters?", 20);
+x_1 = lean_mk_string_from_bytes("allCommitCharacters\?", 20);
 return x_1;
 }
 }
@@ -5401,7 +5401,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("detail?", 7);
+x_1 = lean_mk_string_from_bytes("detail\?", 7);
 return x_1;
 }
 }
@@ -5457,7 +5457,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("documentation?", 14);
+x_1 = lean_mk_string_from_bytes("documentation\?", 14);
 return x_1;
 }
 }
@@ -5513,7 +5513,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("kind?", 5);
+x_1 = lean_mk_string_from_bytes("kind\?", 5);
 return x_1;
 }
 }
@@ -5569,7 +5569,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("textEdit?", 9);
+x_1 = lean_mk_string_from_bytes("textEdit\?", 9);
 return x_1;
 }
 }
@@ -7035,7 +7035,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("range?", 6);
+x_1 = lean_mk_string_from_bytes("range\?", 6);
 return x_1;
 }
 }
@@ -16983,7 +16983,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("resultId?", 9);
+x_1 = lean_mk_string_from_bytes("resultId\?", 9);
 return x_1;
 }
 }

stage0/stdlib/Lean/Data/Lsp/TextSync.c

@@ -895,7 +895,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_TextSync_0__Lean_Lsp_fromJso
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("documentSelector?", 17);
+x_1 = lean_mk_string_from_bytes("documentSelector\?", 17);
 return x_1;
 }
 }
@@ -2802,7 +2802,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_TextSync_0__Lean_Lsp_fromJso
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("save?", 5);
+x_1 = lean_mk_string_from_bytes("save\?", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Data/Xml/Parser.c

@@ -5564,7 +5564,7 @@ static lean_object* _init_l_Lean_Xml_Parser_XMLdecl___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?>", 2);
+x_1 = lean_mk_string_from_bytes("\?>", 2);
 return x_1;
 }
 }
@@ -5572,7 +5572,7 @@ static lean_object* _init_l_Lean_Xml_Parser_XMLdecl___closed__2() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("<?xml", 5);
+x_1 = lean_mk_string_from_bytes("<\?xml", 5);
 return x_1;
 }
 }
@@ -7405,7 +7405,7 @@ static lean_object* _init_l_Lean_Xml_Parser_PI___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("<?", 2);
+x_1 = lean_mk_string_from_bytes("<\?", 2);
 return x_1;
 }
 }
@@ -8782,7 +8782,7 @@ static lean_object* _init_l_Lean_Xml_Parser_PubidChar___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("-'()+,./:=?;!*#@$_%", 19);
+x_1 = lean_mk_string_from_bytes("-'()+,./:=\?;!*#@$_%", 19);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/App.c

@@ -7076,7 +7076,7 @@ static lean_object* _init_l___private_Lean_Elab_App_0__Lean_Elab_Term_ElabAppArg
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/BuiltinTerm.c

@@ -4792,7 +4792,7 @@ static lean_object* _init_l_Lean_Elab_Term_elabLetMVar___closed__3() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("invalid 'let_mvar%', metavariable '?", 36);
+x_1 = lean_mk_string_from_bytes("invalid 'let_mvar%', metavariable '\?", 36);
 return x_1;
 }
 }
@@ -5217,7 +5217,7 @@ static lean_object* _init_l___private_Lean_Elab_BuiltinTerm_0__Lean_Elab_Term_ge
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("unknown metavariable '?", 23);
+x_1 = lean_mk_string_from_bytes("unknown metavariable '\?", 23);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Declaration.c

@@ -10619,7 +10619,7 @@ static lean_object* _init_l_Lean_Elab_Command_expandInitialize___lambda__2___clo
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Deriving/FromToJson.c

@@ -6812,7 +6812,7 @@ static lean_object* _init_l_Array_mapIdxM_map___at_Lean_Elab_Deriving_FromToJson
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("fromJson?", 9);
+x_1 = lean_mk_string_from_bytes("fromJson\?", 9);
 return x_1;
 }
 }
@@ -9205,7 +9205,7 @@ static lean_object* _init_l_Array_mapMUnsafe_map___at_Lean_Elab_Deriving_FromToJ
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("getObjValAs?", 12);
+x_1 = lean_mk_string_from_bytes("getObjValAs\?", 12);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Do.c

@@ -35786,7 +35786,7 @@ static lean_object* _init_l_Lean_Elab_Term_Do_ToCodeBlock_doForToCode___lambda__
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Stream.next?", 12);
+x_1 = lean_mk_string_from_bytes("Stream.next\?", 12);
 return x_1;
 }
 }
@@ -35811,7 +35811,7 @@ static lean_object* _init_l_Lean_Elab_Term_Do_ToCodeBlock_doForToCode___lambda__
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("next?", 5);
+x_1 = lean_mk_string_from_bytes("next\?", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/ElabRules.c

@@ -2128,7 +2128,7 @@ static lean_object* _init_l_Lean_Elab_Command_elabElabRulesAux___lambda__1___clo
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("expectedType?", 13);
+x_1 = lean_mk_string_from_bytes("expectedType\?", 13);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Inductive.c

@@ -25472,7 +25472,7 @@ static lean_object* _init_l___private_Lean_Elab_Inductive_0__Lean_Elab_Command_f
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/InfoTree/Main.c

@@ -5589,7 +5589,7 @@ static lean_object* _init_l_Lean_Elab_InfoTree_format___closed__5() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("• ?", 5);
+x_1 = lean_mk_string_from_bytes("• \?", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/MacroArgUtil.c

@@ -3665,7 +3665,7 @@ static lean_object* _init_l_Lean_Elab_Command_expandMacroArg_mkSyntaxAndPat___cl
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Match.c

@@ -38222,7 +38222,7 @@ static lean_object* _init_l_Array_mapMUnsafe_map___at___private_Lean_Elab_Match_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }
@@ -40741,7 +40741,7 @@ static lean_object* _init_l___private_Lean_Elab_Match_0__Lean_Elab_Term_isMatchU
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("_private.Lean.Elab.Match.0.Lean.Elab.Term.isMatchUnit?", 54);
+x_1 = lean_mk_string_from_bytes("_private.Lean.Elab.Match.0.Lean.Elab.Term.isMatchUnit\?", 54);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c

@@ -4028,7 +4028,7 @@ static lean_object* _init_l___private_Lean_Elab_PreDefinition_WF_Eqns_0__Lean_El
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("_private.Lean.Elab.PreDefinition.WF.Eqns.0.Lean.Elab.WF.tryToFoldLHS?", 69);
+x_1 = lean_mk_string_from_bytes("_private.Lean.Elab.PreDefinition.WF.Eqns.0.Lean.Elab.WF.tryToFoldLHS\?", 69);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Quotation.c

@@ -26325,7 +26325,7 @@ static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quot
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Syntax.getOptional?", 19);
+x_1 = lean_mk_string_from_bytes("Syntax.getOptional\?", 19);
 return x_1;
 }
 }
@@ -26342,7 +26342,7 @@ static lean_object* _init_l___private_Lean_Elab_Quotation_0__Lean_Elab_Term_Quot
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("getOptional?", 12);
+x_1 = lean_mk_string_from_bytes("getOptional\?", 12);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Structure.c

@@ -1811,7 +1811,7 @@ static lean_object* _init_l___private_Lean_Elab_Structure_0__Lean_Elab_Command_r
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("value?", 6);
+x_1 = lean_mk_string_from_bytes("value\?", 6);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/SyntheticMVars.c

@@ -5873,7 +5873,7 @@ static lean_object* _init_l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c

@@ -20067,7 +20067,7 @@ static lean_object* _init_l_Lean_Elab_Tactic_evalIntro___closed__29() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Tactic/Conv/Congr.c

@@ -3749,7 +3749,7 @@ static lean_object* _init_l_Lean_Elab_Tactic_Conv_congr___lambda__2___closed__6(
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("\n=?=", 4);
+x_1 = lean_mk_string_from_bytes("\n=\?=", 4);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Tactic/Delta.c

@@ -2771,7 +2771,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalDelta_docString___
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("\"delta \" ident+ (location)? ", 28);
+x_1 = lean_mk_string_from_bytes("\"delta \" ident+ (location)\? ", 28);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Tactic/Match.c

@@ -280,7 +280,7 @@ static lean_object* _init_l_Array_forInUnsafe_loop___at___private_Lean_Elab_Tact
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Tactic/Unfold.c

@@ -2392,7 +2392,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalUnfold_docString__
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("\"unfold \" ident+ (location)? ", 29);
+x_1 = lean_mk_string_from_bytes("\"unfold \" ident+ (location)\? ", 29);
 return x_1;
 }
 }

stage0/stdlib/Lean/Elab/Term.c

@@ -23438,7 +23438,7 @@ static lean_object* _init_l_Lean_Elab_Term_mkCoe___lambda__1___closed__5() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }
@@ -56079,7 +56079,7 @@ static lean_object* _init_l_Lean_Elab_Term_exprToSyntax___lambda__1___closed__1(
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Lean/Environment.c

@@ -6910,7 +6910,7 @@ static lean_object* _init_l_Lean_TagDeclarationExtension_tag___closed__2() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("env.getModuleIdxFor? declName |>.isNone -- See comment at `TagDeclarationExtension`\n  ", 86);
+x_1 = lean_mk_string_from_bytes("env.getModuleIdxFor\? declName |>.isNone -- See comment at `TagDeclarationExtension`\n  ", 86);
 return x_1;
 }
 }
@@ -7367,7 +7367,7 @@ static lean_object* _init_l_Lean_MapDeclarationExtension_insert___rarg___closed_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("env.getModuleIdxFor? declName |>.isNone -- See comment at `MapDeclarationExtension`\n  ", 86);
+x_1 = lean_mk_string_from_bytes("env.getModuleIdxFor\? declName |>.isNone -- See comment at `MapDeclarationExtension`\n  ", 86);
 return x_1;
 }
 }

stage0/stdlib/Lean/Level.c

@@ -4764,7 +4764,7 @@ static lean_object* _init_l_Lean_Level_PP_toResult___closed__4() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?u", 2);
+x_1 = lean_mk_string_from_bytes("\?u", 2);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/Basic.c

@@ -7746,7 +7746,7 @@ static lean_object* _init_l_Lean_MVarId_getDecl___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("unknown metavariable '?", 23);
+x_1 = lean_mk_string_from_bytes("unknown metavariable '\?", 23);
 return x_1;
 }
 }
@@ -8717,7 +8717,7 @@ static lean_object* _init_l_Lean_LMVarId_getLevel___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("unknown universe metavariable '?", 32);
+x_1 = lean_mk_string_from_bytes("unknown universe metavariable '\?", 32);
 return x_1;
 }
 }
@@ -30879,7 +30879,7 @@ static lean_object* _init_l___private_Lean_Meta_Basic_0__Lean_Meta_mkLeveErrorMe
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/CasesOn.c

@@ -157,7 +157,7 @@ static lean_object* _init_l_List_forIn_loop___at_Lean_Meta_toCasesOnApp_x3f___sp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Lean.Meta.toCasesOnApp?", 23);
+x_1 = lean_mk_string_from_bytes("Lean.Meta.toCasesOnApp\?", 23);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/CongrTheorems.c

@@ -7426,7 +7426,7 @@ static lean_object* _init_l_Lean_Meta_mkCongrSimpCore_x3f_mkProof_go___lambda__4
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Lean.Meta.mkCongrSimpCore?.mkProof.go", 37);
+x_1 = lean_mk_string_from_bytes("Lean.Meta.mkCongrSimpCore\?.mkProof.go", 37);
 return x_1;
 }
 }
@@ -8181,7 +8181,7 @@ static lean_object* _init_l_Lean_Meta_mkCongrSimpCore_x3f_mk_x3f_go___closed__1(
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Lean.Meta.mkCongrSimpCore?.mk?.go", 33);
+x_1 = lean_mk_string_from_bytes("Lean.Meta.mkCongrSimpCore\?.mk\?.go", 33);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/DecLevel.c

@@ -509,7 +509,7 @@ static lean_object* _init_l___private_Lean_Meta_DecLevel_0__Lean_Meta_decAux_x3f
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("decAux?, ", 9);
+x_1 = lean_mk_string_from_bytes("decAux\?, ", 9);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/ExprDefEq.c

@@ -1503,7 +1503,7 @@ static lean_object* _init_l_Std_Range_forIn_loop___at___private_Lean_Meta_ExprDe
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/InferType.c

@@ -5041,7 +5041,7 @@ static lean_object* _init_l_Lean_Meta_throwUnknownMVar___rarg___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("unknown metavariable '?", 23);
+x_1 = lean_mk_string_from_bytes("unknown metavariable '\?", 23);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/LevelDefEq.c

@@ -532,7 +532,7 @@ static lean_object* _init_l___private_Lean_Meta_LevelDefEq_0__Lean_Meta_postpone
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/Match/Match.c

@@ -6272,7 +6272,7 @@ static lean_object* _init_l___private_Lean_Meta_Match_Match_0__Lean_Meta_Match_s
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }
@@ -9402,7 +9402,7 @@ static lean_object* _init_l___private_Lean_Meta_Match_Match_0__Lean_Meta_Match_e
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("expandVarIntoCtor? ", 19);
+x_1 = lean_mk_string_from_bytes("expandVarIntoCtor\? ", 19);
 return x_1;
 }
 }
@@ -9873,7 +9873,7 @@ static lean_object* _init_l___private_Lean_Meta_Match_Match_0__Lean_Meta_Match_e
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("expandVarIntoCtor? fvarId: ", 27);
+x_1 = lean_mk_string_from_bytes("expandVarIntoCtor\? fvarId: ", 27);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/SizeOf.c

@@ -8632,7 +8632,7 @@ static lean_object* _init_l___private_Lean_Meta_SizeOf_0__Lean_Meta_SizeOfSpecNe
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c

@@ -691,7 +691,7 @@ static lean_object* _init_l___private_Lean_Meta_Tactic_ElimInfo_0__Lean_Meta_rep
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("declName?", 9);
+x_1 = lean_mk_string_from_bytes("declName\?", 9);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c

@@ -28846,7 +28846,7 @@ static lean_object* _init_l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simp_tryA
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Lean.Meta.Simp.simp.tryAutoCongrTheorem?", 40);
+x_1 = lean_mk_string_from_bytes("Lean.Meta.Simp.simp.tryAutoCongrTheorem\?", 40);
 return x_1;
 }
 }
@@ -50443,7 +50443,7 @@ static lean_object* _init_l_Lean_Meta_Simp_dischargeEqnThmHypothesis_x3f___close
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Lean.Meta.Simp.dischargeEqnThmHypothesis?", 41);
+x_1 = lean_mk_string_from_bytes("Lean.Meta.Simp.dischargeEqnThmHypothesis\?", 41);
 return x_1;
 }
 }
@@ -51699,7 +51699,7 @@ static lean_object* _init_l_Lean_Meta_Simp_DefaultMethods_discharge_x3f___lambda
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(">> discharge?: ", 15);
+x_1 = lean_mk_string_from_bytes(">> discharge\?: ", 15);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c

@@ -19184,7 +19184,7 @@ static lean_object* _init_l_Lean_Meta___aux__Lean__Meta__Tactic__Simp__SimpTheor
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("stx_?", 5);
+x_1 = lean_mk_string_from_bytes("stx_\?", 5);
 return x_1;
 }
 }
@@ -19436,7 +19436,7 @@ static lean_object* _init_l_Lean_Meta___aux__Lean__Meta__Tactic__Simp__SimpTheor
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/Tactic/SplitIf.c

@@ -3048,7 +3048,7 @@ static lean_object* _init_l_Lean_Meta_SplitIf_discharge_x3f___closed__5() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("discharge? ", 11);
+x_1 = lean_mk_string_from_bytes("discharge\? ", 11);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/UnificationHint.c

@@ -8476,7 +8476,7 @@ static lean_object* _init_l_Lean_Meta_tryUnificationHints_tryCandidate___lambda_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" =?= ", 5);
+x_1 = lean_mk_string_from_bytes(" =\?= ", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Meta/WHNF.c

@@ -32369,7 +32369,7 @@ static lean_object* _init_l___private_Lean_Meta_WHNF_0__Lean_Meta_cached_x3f___c
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("_private.Lean.Meta.WHNF.0.Lean.Meta.cached?", 43);
+x_1 = lean_mk_string_from_bytes("_private.Lean.Meta.WHNF.0.Lean.Meta.cached\?", 43);
 return x_1;
 }
 }

stage0/stdlib/Lean/Parser/Extra.c

@@ -2903,7 +2903,7 @@ static lean_object* _init_l_Lean_Parser_optional_formatter___closed__3() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }
@@ -7161,7 +7161,7 @@ static lean_object* _init_l_Lean_Parser___aux__Lean__Parser__Extra______macroRul
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("kind?", 5);
+x_1 = lean_mk_string_from_bytes("kind\?", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Parser/Term.c

@@ -11143,7 +11143,7 @@ static lean_object* _init_l_Lean_Parser_Term_syntheticHole___closed__4() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }
@@ -11232,7 +11232,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_syntheticHole_docStrin
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Parses a \"synthetic hole\", that is, `?foo` or `?_`.\nThis syntax is used to construct named metavariables. ", 106);
+x_1 = lean_mk_string_from_bytes("Parses a \"synthetic hole\", that is, `\?foo` or `\?_`.\nThis syntax is used to construct named metavariables. ", 106);
 return x_1;
 }
 }
@@ -46788,7 +46788,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_withDeclName_docString
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("* `with_decl_name% id e` elaborates `e` in a context while changing the effective\n  declaration name to `id`.\n* `with_decl_name% ?id e` does the same, but resolves `id` as a new definition name\n  (appending the current namespaces).\n", 232);
+x_1 = lean_mk_string_from_bytes("* `with_decl_name% id e` elaborates `e` in a context while changing the effective\n  declaration name to `id`.\n* `with_decl_name% \?id e` does the same, but resolves `id` as a new definition name\n  (appending the current namespaces).\n", 232);
 return x_1;
 }
 }

stage0/stdlib/Lean/Parser/Types.c

@@ -4159,7 +4159,7 @@ static lean_object* _init_l_Lean_Parser_FirstTokens_toStr___closed__3() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c

@@ -2058,7 +2058,7 @@ static lean_object* _init_l_Lean_PrettyPrinter_Delaborator_delabMVar___closed__5
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }

stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c

@@ -4685,7 +4685,7 @@ static lean_object* _init_l_Lean_PrettyPrinter_Parenthesizer_maybeParenthesize__
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("visited a syntax tree without precedences?!", 43);
+x_1 = lean_mk_string_from_bytes("visited a syntax tree without precedences\?!", 43);
 return x_1;
 }
 }
@@ -4719,7 +4719,7 @@ static lean_object* _init_l_Lean_PrettyPrinter_Parenthesizer_maybeParenthesize__
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" >? ", 4);
+x_1 = lean_mk_string_from_bytes(" >\? ", 4);
 return x_1;
 }
 }
@@ -4811,7 +4811,7 @@ static lean_object* _init_l_Lean_PrettyPrinter_Parenthesizer_maybeParenthesize__
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes(" <=? ", 5);
+x_1 = lean_mk_string_from_bytes(" <=\? ", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/ResolveName.c

@@ -3319,7 +3319,7 @@ static lean_object* _init_l_Lean_ResolveName_resolveNamespaceUsingScope_x3f___cl
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("Lean.ResolveName.resolveNamespaceUsingScope?", 44);
+x_1 = lean_mk_string_from_bytes("Lean.ResolveName.resolveNamespaceUsingScope\?", 44);
 return x_1;
 }
 }

stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c

@@ -3936,7 +3936,7 @@ static lean_object* _init_l___private_Lean_Server_FileWorker_WidgetRequests_0__L
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("lineRange?", 10);
+x_1 = lean_mk_string_from_bytes("lineRange\?", 10);
 return x_1;
 }
 }

stage0/stdlib/Lean/Server/Requests.c

@@ -3899,7 +3899,7 @@ static lean_object* _init_l_Lean_Server_handleLspRequest___closed__2() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("' routed through watchdog but unknown in worker; are both using the same plugins?", 81);
+x_1 = lean_mk_string_from_bytes("' routed through watchdog but unknown in worker; are both using the same plugins\?", 81);
 return x_1;
 }
 }

stage0/stdlib/Lean/Server/Rpc/Deriving.c

@@ -460,7 +460,7 @@ static lean_object* _init_l_Lean_Server_RpcEncodable_isOptField___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("?", 1);
+x_1 = lean_mk_string_from_bytes("\?", 1);
 return x_1;
 }
 }
@@ -2943,7 +2943,7 @@ static lean_object* _init_l___private_Lean_Server_Rpc_Deriving_0__Lean_Server_Rp
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("fromJson?", 9);
+x_1 = lean_mk_string_from_bytes("fromJson\?", 9);
 return x_1;
 }
 }

stage0/stdlib/Lean/Structure.c

@@ -470,7 +470,7 @@ static lean_object* _init_l___private_Lean_Structure_0__Lean_reprStructureFieldI
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("subobject?", 10);
+x_1 = lean_mk_string_from_bytes("subobject\?", 10);
 return x_1;
 }
 }
@@ -515,7 +515,7 @@ static lean_object* _init_l___private_Lean_Structure_0__Lean_reprStructureFieldI
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("autoParam?", 10);
+x_1 = lean_mk_string_from_bytes("autoParam\?", 10);
 return x_1;
 }
 }

stage0/stdlib/Lean/Widget/InteractiveCode.c

@@ -1275,7 +1275,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveCode_0__Lean_Widget
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("diffStatus?", 11);
+x_1 = lean_mk_string_from_bytes("diffStatus\?", 11);
 return x_1;
 }
 }

stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c

@@ -4320,7 +4320,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("fullRange?", 10);
+x_1 = lean_mk_string_from_bytes("fullRange\?", 10);
 return x_1;
 }
 }
@@ -4376,7 +4376,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("severity?", 9);
+x_1 = lean_mk_string_from_bytes("severity\?", 9);
 return x_1;
 }
 }
@@ -4432,7 +4432,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("code?", 5);
+x_1 = lean_mk_string_from_bytes("code\?", 5);
 return x_1;
 }
 }
@@ -4488,7 +4488,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("source?", 7);
+x_1 = lean_mk_string_from_bytes("source\?", 7);
 return x_1;
 }
 }
@@ -4592,7 +4592,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("tags?", 5);
+x_1 = lean_mk_string_from_bytes("tags\?", 5);
 return x_1;
 }
 }
@@ -4648,7 +4648,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("relatedInformation?", 19);
+x_1 = lean_mk_string_from_bytes("relatedInformation\?", 19);
 return x_1;
 }
 }
@@ -4704,7 +4704,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("data?", 5);
+x_1 = lean_mk_string_from_bytes("data\?", 5);
 return x_1;
 }
 }

stage0/stdlib/Lean/Widget/InteractiveGoal.c

@@ -827,7 +827,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("val?", 4);
+x_1 = lean_mk_string_from_bytes("val\?", 4);
 return x_1;
 }
 }
@@ -883,7 +883,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("isInstance?", 11);
+x_1 = lean_mk_string_from_bytes("isInstance\?", 11);
 return x_1;
 }
 }
@@ -939,7 +939,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("isType?", 7);
+x_1 = lean_mk_string_from_bytes("isType\?", 7);
 return x_1;
 }
 }
@@ -995,7 +995,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("isInserted?", 11);
+x_1 = lean_mk_string_from_bytes("isInserted\?", 11);
 return x_1;
 }
 }
@@ -1051,7 +1051,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("isRemoved?", 10);
+x_1 = lean_mk_string_from_bytes("isRemoved\?", 10);
 return x_1;
 }
 }
@@ -7004,7 +7004,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("userName?", 9);
+x_1 = lean_mk_string_from_bytes("userName\?", 9);
 return x_1;
 }
 }

stage0/stdlib/Lean/Widget/UserWidget.c

@@ -5941,7 +5941,7 @@ static lean_object* _init_l___private_Lean_Widget_UserWidget_0__Lean_Widget_from
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string_from_bytes("range?", 6);
+x_1 = lean_mk_string_from_bytes("range\?", 6);
 return x_1;
 }
 }