From d643dfd1c782bf5ce873f2d2358e2148183093a1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 6 Sep 2021 12:02:41 -0700 Subject: [PATCH] chore: update stage0 --- stage0/src/Init.lean | 1 - stage0/src/Init/Enum.lean | 35 - stage0/stdlib/Init.c | 6 +- stage0/stdlib/Init/Enum.c | 4734 ------------------------------------- 4 files changed, 1 insertion(+), 4775 deletions(-) delete mode 100644 stage0/src/Init/Enum.lean delete mode 100644 stage0/stdlib/Init/Enum.c diff --git a/stage0/src/Init.lean b/stage0/src/Init.lean index b636f37730..54741d4ed8 100644 --- a/stage0/src/Init.lean +++ b/stage0/src/Init.lean @@ -19,4 +19,3 @@ import Init.NotationExtra import Init.SimpLemmas import Init.Hints import Init.Conv -import Init.Enum diff --git a/stage0/src/Init/Enum.lean b/stage0/src/Init/Enum.lean deleted file mode 100644 index 3561280e8d..0000000000 --- a/stage0/src/Init/Enum.lean +++ /dev/null @@ -1,35 +0,0 @@ -/- -Copyright (c) 2021 Microsoft Corporation. All rights reserved. -Released under Apache 2.0 license as described in the file LICENSE. -Authors: Leonardo de Moura --/ -prelude -import Init.NotationExtra -import Init.Data.Range -import Init.Data.Stream - -/-- - Macro for declaring big enumeration types. It is more efficient than using `inductive`. - - It also generates the instances `BEq`, `DecidableEq`, `Inhabited`, and `Repr` for the new type --/ -macro "enum " n:ident " where " cs:(group("| " ident))+ : command => open Lean in do - let cs := cs.getArgs - let numCtors := cs.size - let structDecl ← `(structure $n:ident where (val : Fin $(quote numCtors))) - let derivingCmd ← `(deriving instance BEq, DecidableEq, Inhabited for $n:ident) - let currNamespace ← Macro.getCurrNamespace - let mkCtorName (ctorDeclStx : Syntax) : Name := - n.getId ++ ctorDeclStx[1].getId - let mut ctorDefs := #[] - for c in cs, i in [:numCtors] do - let ctorName := mkCtorName c - let ctorDef ← `(@[matchPattern] abbrev $(mkIdentFrom c ctorName):ident : $n:ident := ⟨$(quote i)⟩) - ctorDefs := ctorDefs.push ctorDef - -- generate `Repr` instance - let ctorFmts ← cs.mapM fun c => - `(Std.format $(quote <| toString (currNamespace ++ mkCtorName c))) - let reprInst ← `( - def enumFmts : Array Std.Format := [ $(ctorFmts),*].toArray - instance : Repr $n := ⟨fun e _ => enumFmts[e.val.val]⟩) - return mkNullNode (#[structDecl, derivingCmd, reprInst] ++ ctorDefs) diff --git a/stage0/stdlib/Init.c b/stage0/stdlib/Init.c index bebead19cd..b28153a882 100644 --- a/stage0/stdlib/Init.c +++ b/stage0/stdlib/Init.c @@ -1,6 +1,6 @@ // Lean compiler output // Module: Init -// Imports: Init.Prelude Init.Notation Init.Core Init.Control Init.Data.Basic Init.WF Init.Data Init.System Init.Util Init.Fix Init.Meta Init.NotationExtra Init.SimpLemmas Init.Hints Init.Conv Init.Enum +// Imports: Init.Prelude Init.Notation Init.Core Init.Control Init.Data.Basic Init.WF Init.Data Init.System Init.Util Init.Fix Init.Meta Init.NotationExtra Init.SimpLemmas Init.Hints Init.Conv #include #if defined(__clang__) #pragma clang diagnostic ignored "-Wunused-parameter" @@ -28,7 +28,6 @@ lean_object* initialize_Init_NotationExtra(lean_object*); lean_object* initialize_Init_SimpLemmas(lean_object*); lean_object* initialize_Init_Hints(lean_object*); lean_object* initialize_Init_Conv(lean_object*); -lean_object* initialize_Init_Enum(lean_object*); static bool _G_initialized = false; lean_object* initialize_Init(lean_object* w) { lean_object * res; @@ -79,9 +78,6 @@ lean_dec_ref(res); res = initialize_Init_Conv(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -res = initialize_Init_Enum(lean_io_mk_world()); -if (lean_io_result_is_error(res)) return res; -lean_dec_ref(res); return lean_io_result_mk_ok(lean_box(0)); } #ifdef __cplusplus diff --git a/stage0/stdlib/Init/Enum.c b/stage0/stdlib/Init/Enum.c deleted file mode 100644 index 01838bb5b2..0000000000 --- a/stage0/stdlib/Init/Enum.c +++ /dev/null @@ -1,4734 +0,0 @@ -// Lean compiler output -// Module: Init.Enum -// Imports: Init.NotationExtra Init.Data.Range Init.Data.Stream -#include -#if defined(__clang__) -#pragma clang diagnostic ignored "-Wunused-parameter" -#pragma clang diagnostic ignored "-Wunused-label" -#elif defined(__GNUC__) && !defined(__CLANG__) -#pragma GCC diagnostic ignored "-Wunused-parameter" -#pragma GCC diagnostic ignored "-Wunused-label" -#pragma GCC diagnostic ignored "-Wunused-but-set-variable" -#endif -#ifdef __cplusplus -extern "C" { -#endif -static lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__7; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__52; -static lean_object* l_commandEnum____Where_x7c_______closed__12; -lean_object* l_Lean_MonadRef_mkInfoFromRefPos___at_myMacro____x40_Init_Notation___hyg_72____spec__1(lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__137; -size_t l_USize_add(size_t, size_t); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__22; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__84; -lean_object* lean_mk_empty_array_with_capacity(lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__54; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__62; -extern lean_object* l_Lean_nullKind; -static lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__3; -lean_object* l_Lean_Macro_getCurrNamespace(lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__77; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__13; -lean_object* lean_name_mk_string(lean_object*, lean_object*); -static lean_object* l_commandEnum____Where_x7c_______closed__24; -lean_object* lean_array_uget(lean_object*, size_t); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__110; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__86; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__88; -lean_object* l_Array_append___rarg(lean_object*, lean_object*); -static lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__5; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__6; -static lean_object* l_commandEnum____Where_x7c_______closed__7; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__80; -lean_object* lean_array_uset(lean_object*, size_t, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__46; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__93; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__130; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__33; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__28; -lean_object* l_myMacro____x40_Init_Enum___hyg_33__match__2___rarg(lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__65; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__109; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__103; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__132; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__70; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__39; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__13; -lean_object* l_Lean_mkIdentFrom(lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__25; -static lean_object* l_commandEnum____Where_x7c_______closed__8; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__35; -lean_object* lean_array_push(lean_object*, lean_object*); -lean_object* lean_array_get_size(lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__41; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__12; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__147; -static lean_object* l_commandEnum____Where_x7c_______closed__11; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__29; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__119; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__14; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__121; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__76; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__30; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__18; -lean_object* lean_string_utf8_byte_size(lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__5; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__104; -uint8_t l_USize_decLt(size_t, size_t); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__91; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__78; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__36; -static lean_object* l_commandEnum____Where_x7c_______closed__17; -static lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__6; -lean_object* lean_nat_add(lean_object*, lean_object*); -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__8; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__56; -lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___boxed(lean_object**); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__66; -lean_object* l_Lean_Syntax_SepArray_ofElems(lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__85; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__17; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__115; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__10; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__32; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__51; -lean_object* l_myMacro____x40_Init_Enum___hyg_33__match__1___rarg(lean_object*, lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__142; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__63; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__49; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__106; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__71; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__7; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__2; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__108; -static lean_object* l_commandEnum____Where_x7c_______closed__9; -extern lean_object* l_Lean_numLitKind; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__98; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__73; -static lean_object* l_commandEnum____Where_x7c_______closed__4; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__24; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__81; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__133; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__120; -static lean_object* l_commandEnum____Where_x7c_______closed__19; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__34; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__141; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__20; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__48; -lean_object* l_Lean_Name_toString(lean_object*, uint8_t); -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__14; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__111; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__50; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__16; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__9; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__123; -lean_object* l_Nat_repr(lean_object*); -static lean_object* l_commandEnum____Where_x7c_______closed__2; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__117; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__149; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__101; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__105; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__4; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__43; -lean_object* l_Lean_Syntax_getId(lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__79; -static lean_object* l_commandEnum____Where_x7c_______closed__1; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__1; -lean_object* l_myMacro____x40_Init_Enum___hyg_33__match__2(lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__95; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__99; -lean_object* l_Lean_Syntax_mkStrLit(lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__61; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__112; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__59; -lean_object* l_myMacro____x40_Init_Enum___hyg_33____boxed__const__1; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__8; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__23; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__94; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__5; -lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*); -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__15; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__18; -size_t lean_usize_of_nat(lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__90; -lean_object* l_Lean_addMacroScope(lean_object*, lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__143; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__12; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__102; -lean_object* l_myMacro____x40_Init_Enum___hyg_33__match__1(lean_object*); -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__3; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__116; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__75; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__128; -lean_object* l_commandEnum____Where_x7c____; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__31; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__68; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__113; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__135; -static lean_object* l_commandEnum____Where_x7c_______closed__13; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__53; -static lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__10; -static lean_object* l_commandEnum____Where_x7c_______closed__21; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__100; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__42; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__125; -static lean_object* l_commandEnum____Where_x7c_______closed__23; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__55; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__37; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__114; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__26; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__124; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__148; -lean_object* l_Lean_Syntax_getArgs(lean_object*); -lean_object* l_Lean_Name_append(lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__58; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__136; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__127; -static lean_object* l_commandEnum____Where_x7c_______closed__14; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__11; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__82; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__69; -static lean_object* l_commandEnum____Where_x7c_______closed__22; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__6; -lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__126; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__83; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__44; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__139; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__1; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__150; -static lean_object* l_commandEnum____Where_x7c_______closed__16; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__144; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__3; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__15; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__10; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__19; -uint8_t l_Lean_Syntax_isOfKind(lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__27; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__45; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__129; -static lean_object* l_commandEnum____Where_x7c_______closed__6; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__145; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__9; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__67; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__57; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__40; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__64; -lean_object* l_Lean_Syntax_getArg(lean_object*, lean_object*); -static lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__2; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__97; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__47; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__2; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__89; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__134; -static lean_object* l_commandEnum____Where_x7c_______closed__18; -lean_object* l_unsafeCast(lean_object*, lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__92; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__11; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__87; -static lean_object* l_commandEnum____Where_x7c_______closed__3; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__19; -lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__1; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__131; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__4; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__146; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__122; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__118; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__140; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__17; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__16; -static lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__8; -static lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__9; -lean_object* l_myMacro____x40_Init_Enum___hyg_33_(lean_object*, lean_object*, lean_object*); -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__107; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__38; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__21; -static lean_object* l_commandEnum____Where_x7c_______closed__5; -static lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__4; -static lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__7; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__96; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__72; -static lean_object* l_commandEnum____Where_x7c_______closed__10; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__74; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__60; -static lean_object* l_myMacro____x40_Init_Enum___hyg_33____closed__138; -static lean_object* l_commandEnum____Where_x7c_______closed__15; -lean_object* l_Lean_Syntax_mkLit(lean_object*, lean_object*, lean_object*); -uint8_t lean_nat_dec_lt(lean_object*, lean_object*); -static lean_object* l_commandEnum____Where_x7c_______closed__20; -static lean_object* _init_l_commandEnum____Where_x7c_______closed__1() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("commandEnum__Where|__"); -return x_1; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_commandEnum____Where_x7c_______closed__1; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__3() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("andthen"); -return x_1; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__4() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_commandEnum____Where_x7c_______closed__3; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__5() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("enum "); -return x_1; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__6() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_commandEnum____Where_x7c_______closed__5; -x_2 = lean_alloc_ctor(5, 1, 0); -lean_ctor_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__7() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("ident"); -return x_1; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__8() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_commandEnum____Where_x7c_______closed__7; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__9() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_commandEnum____Where_x7c_______closed__8; -x_2 = lean_alloc_ctor(0, 1, 0); -lean_ctor_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_commandEnum____Where_x7c_______closed__4; -x_2 = l_commandEnum____Where_x7c_______closed__6; -x_3 = l_commandEnum____Where_x7c_______closed__9; -x_4 = lean_alloc_ctor(2, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__11() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string(" where "); -return x_1; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__12() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_commandEnum____Where_x7c_______closed__11; -x_2 = lean_alloc_ctor(5, 1, 0); -lean_ctor_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__13() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_commandEnum____Where_x7c_______closed__4; -x_2 = l_commandEnum____Where_x7c_______closed__10; -x_3 = l_commandEnum____Where_x7c_______closed__12; -x_4 = lean_alloc_ctor(2, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__14() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("many1"); -return x_1; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__15() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_commandEnum____Where_x7c_______closed__14; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__16() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("group"); -return x_1; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__17() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_commandEnum____Where_x7c_______closed__16; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__18() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("| "); -return x_1; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__19() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_commandEnum____Where_x7c_______closed__18; -x_2 = lean_alloc_ctor(5, 1, 0); -lean_ctor_set(x_2, 0, x_1); -return x_2; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__20() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_commandEnum____Where_x7c_______closed__4; -x_2 = l_commandEnum____Where_x7c_______closed__19; -x_3 = l_commandEnum____Where_x7c_______closed__9; -x_4 = lean_alloc_ctor(2, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__21() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_commandEnum____Where_x7c_______closed__17; -x_2 = l_commandEnum____Where_x7c_______closed__20; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_1); -lean_ctor_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__22() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_commandEnum____Where_x7c_______closed__15; -x_2 = l_commandEnum____Where_x7c_______closed__21; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_1); -lean_ctor_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__23() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_commandEnum____Where_x7c_______closed__4; -x_2 = l_commandEnum____Where_x7c_______closed__13; -x_3 = l_commandEnum____Where_x7c_______closed__22; -x_4 = lean_alloc_ctor(2, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_commandEnum____Where_x7c_______closed__24() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_commandEnum____Where_x7c_______closed__2; -x_2 = lean_unsigned_to_nat(1022u); -x_3 = l_commandEnum____Where_x7c_______closed__23; -x_4 = lean_alloc_ctor(3, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_commandEnum____Where_x7c____() { -_start: -{ -lean_object* x_1; -x_1 = l_commandEnum____Where_x7c_______closed__24; -return x_1; -} -} -lean_object* l_myMacro____x40_Init_Enum___hyg_33__match__1___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) { -_start: -{ -if (lean_obj_tag(x_1) == 0) -{ -lean_object* x_4; lean_object* x_5; -lean_dec(x_3); -x_4 = lean_box(0); -x_5 = lean_apply_1(x_2, x_4); -return x_5; -} -else -{ -lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; -lean_dec(x_2); -x_6 = lean_ctor_get(x_1, 0); -lean_inc(x_6); -lean_dec(x_1); -x_7 = lean_ctor_get(x_6, 0); -lean_inc(x_7); -x_8 = lean_ctor_get(x_6, 1); -lean_inc(x_8); -lean_dec(x_6); -x_9 = lean_apply_2(x_3, x_7, x_8); -return x_9; -} -} -} -lean_object* l_myMacro____x40_Init_Enum___hyg_33__match__1(lean_object* x_1) { -_start: -{ -lean_object* x_2; -x_2 = lean_alloc_closure((void*)(l_myMacro____x40_Init_Enum___hyg_33__match__1___rarg), 3, 0); -return x_2; -} -} -lean_object* l_myMacro____x40_Init_Enum___hyg_33__match__2___rarg(lean_object* x_1, lean_object* x_2) { -_start: -{ -lean_object* x_3; lean_object* x_4; lean_object* x_5; -x_3 = lean_ctor_get(x_1, 0); -lean_inc(x_3); -x_4 = lean_ctor_get(x_1, 1); -lean_inc(x_4); -lean_dec(x_1); -x_5 = lean_apply_2(x_2, x_3, x_4); -return x_5; -} -} -lean_object* l_myMacro____x40_Init_Enum___hyg_33__match__2(lean_object* x_1) { -_start: -{ -lean_object* x_2; -x_2 = lean_alloc_closure((void*)(l_myMacro____x40_Init_Enum___hyg_33__match__2___rarg), 2, 0); -return x_2; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__1() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("attributes"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__2() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("@["); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__3() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("attrInstance"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__4() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("attrKind"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__5() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Attr"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__6() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("simple"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__7() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("matchPattern"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__8() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__7; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__9() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__7; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__8; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__7; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__11() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("]"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__12() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("abbrev"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__13() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string(":"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__14() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("declValSimple"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__15() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string(":="); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__16() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("anonymousCtor"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__17() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("⟨"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__18() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("⟩"); -return x_1; -} -} -static lean_object* _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__19() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = lean_unsigned_to_nat(4u); -x_2 = lean_mk_empty_array_with_capacity(x_1); -return x_2; -} -} -lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8, lean_object* x_9, lean_object* x_10, lean_object* x_11, lean_object* x_12, lean_object* x_13, lean_object* x_14, lean_object* x_15, lean_object* x_16, lean_object* x_17, lean_object* x_18, lean_object* x_19, size_t x_20, size_t x_21, lean_object* x_22, lean_object* x_23, lean_object* x_24) { -_start: -{ -uint8_t x_25; -x_25 = x_21 < x_20; -if (x_25 == 0) -{ -lean_object* x_26; -lean_dec(x_23); -lean_dec(x_18); -lean_dec(x_17); -lean_dec(x_16); -lean_dec(x_15); -lean_dec(x_14); -lean_dec(x_13); -lean_dec(x_12); -lean_dec(x_11); -lean_dec(x_10); -lean_dec(x_9); -lean_dec(x_8); -lean_dec(x_7); -lean_dec(x_6); -lean_dec(x_5); -lean_dec(x_4); -lean_dec(x_3); -lean_dec(x_2); -lean_dec(x_1); -x_26 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_26, 0, x_22); -lean_ctor_set(x_26, 1, x_24); -return x_26; -} -else -{ -lean_object* x_27; uint8_t x_28; -x_27 = lean_array_uget(x_19, x_21); -x_28 = !lean_is_exclusive(x_22); -if (x_28 == 0) -{ -lean_object* x_29; lean_object* x_30; lean_object* x_31; lean_object* x_32; lean_object* x_33; uint8_t x_34; -x_29 = lean_ctor_get(x_22, 0); -x_30 = lean_ctor_get(x_22, 1); -x_31 = lean_ctor_get(x_29, 0); -lean_inc(x_31); -x_32 = lean_ctor_get(x_29, 1); -lean_inc(x_32); -x_33 = lean_ctor_get(x_29, 2); -lean_inc(x_33); -x_34 = lean_nat_dec_lt(x_31, x_32); -if (x_34 == 0) -{ -lean_object* x_35; -lean_dec(x_33); -lean_dec(x_32); -lean_dec(x_31); -lean_dec(x_27); -lean_dec(x_23); -lean_dec(x_18); -lean_dec(x_17); -lean_dec(x_16); -lean_dec(x_15); -lean_dec(x_14); -lean_dec(x_13); -lean_dec(x_12); -lean_dec(x_11); -lean_dec(x_10); -lean_dec(x_9); -lean_dec(x_8); -lean_dec(x_7); -lean_dec(x_6); -lean_dec(x_5); -lean_dec(x_4); -lean_dec(x_3); -lean_dec(x_2); -lean_dec(x_1); -x_35 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_35, 0, x_22); -lean_ctor_set(x_35, 1, x_24); -return x_35; -} -else -{ -uint8_t x_36; -x_36 = !lean_is_exclusive(x_29); -if (x_36 == 0) -{ -lean_object* x_37; lean_object* x_38; lean_object* x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; lean_object* x_48; lean_object* x_49; lean_object* x_50; lean_object* x_51; lean_object* x_52; lean_object* x_53; lean_object* x_54; lean_object* x_55; lean_object* x_56; lean_object* x_57; lean_object* x_58; lean_object* x_59; lean_object* x_60; lean_object* x_61; lean_object* x_62; lean_object* x_63; lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; lean_object* x_68; lean_object* x_69; lean_object* x_70; lean_object* x_71; lean_object* x_72; lean_object* x_73; lean_object* x_74; lean_object* x_75; lean_object* x_76; lean_object* x_77; lean_object* x_78; lean_object* x_79; lean_object* x_80; lean_object* x_81; lean_object* x_82; lean_object* x_83; lean_object* x_84; lean_object* x_85; lean_object* x_86; lean_object* x_87; lean_object* x_88; lean_object* x_89; lean_object* x_90; lean_object* x_91; lean_object* x_92; lean_object* x_93; lean_object* x_94; lean_object* x_95; lean_object* x_96; lean_object* x_97; lean_object* x_98; lean_object* x_99; lean_object* x_100; lean_object* x_101; lean_object* x_102; lean_object* x_103; lean_object* x_104; lean_object* x_105; lean_object* x_106; lean_object* x_107; lean_object* x_108; lean_object* x_109; lean_object* x_110; lean_object* x_111; lean_object* x_112; lean_object* x_113; lean_object* x_114; lean_object* x_115; lean_object* x_116; lean_object* x_117; lean_object* x_118; lean_object* x_119; lean_object* x_120; lean_object* x_121; lean_object* x_122; lean_object* x_123; lean_object* x_124; lean_object* x_125; lean_object* x_126; lean_object* x_127; lean_object* x_128; lean_object* x_129; lean_object* x_130; lean_object* x_131; lean_object* x_132; lean_object* x_133; lean_object* x_134; lean_object* x_135; lean_object* x_136; lean_object* x_137; lean_object* x_138; lean_object* x_139; size_t x_140; size_t x_141; -x_37 = lean_ctor_get(x_29, 2); -lean_dec(x_37); -x_38 = lean_ctor_get(x_29, 1); -lean_dec(x_38); -x_39 = lean_ctor_get(x_29, 0); -lean_dec(x_39); -x_40 = lean_nat_add(x_31, x_33); -lean_ctor_set(x_29, 0, x_40); -x_41 = l_Lean_Syntax_getId(x_1); -x_42 = lean_unsigned_to_nat(1u); -x_43 = l_Lean_Syntax_getArg(x_27, x_42); -x_44 = l_Lean_Syntax_getId(x_43); -lean_dec(x_43); -x_45 = l_Lean_Name_append(x_41, x_44); -lean_dec(x_41); -lean_inc(x_23); -x_46 = l_Lean_MonadRef_mkInfoFromRefPos___at_myMacro____x40_Init_Notation___hyg_72____spec__1(x_23, x_24); -x_47 = lean_ctor_get(x_46, 0); -lean_inc(x_47); -x_48 = lean_ctor_get(x_46, 1); -lean_inc(x_48); -lean_dec(x_46); -x_49 = lean_ctor_get(x_23, 2); -lean_inc(x_49); -x_50 = lean_ctor_get(x_23, 1); -lean_inc(x_50); -x_51 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__1; -lean_inc(x_14); -x_52 = lean_name_mk_string(x_14, x_51); -x_53 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__2; -lean_inc(x_47); -x_54 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_54, 0, x_47); -lean_ctor_set(x_54, 1, x_53); -x_55 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__3; -lean_inc(x_14); -x_56 = lean_name_mk_string(x_14, x_55); -x_57 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__4; -lean_inc(x_14); -x_58 = lean_name_mk_string(x_14, x_57); -lean_inc(x_18); -x_59 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_59, 0, x_58); -lean_ctor_set(x_59, 1, x_18); -x_60 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__5; -lean_inc(x_2); -x_61 = lean_name_mk_string(x_2, x_60); -x_62 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__6; -x_63 = lean_name_mk_string(x_61, x_62); -x_64 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__10; -x_65 = l_Lean_addMacroScope(x_50, x_64, x_49); -x_66 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__9; -lean_inc(x_12); -lean_inc(x_47); -x_67 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_67, 0, x_47); -lean_ctor_set(x_67, 1, x_66); -lean_ctor_set(x_67, 2, x_65); -lean_ctor_set(x_67, 3, x_12); -lean_inc(x_11); -x_68 = lean_array_push(x_11, x_67); -lean_inc(x_7); -x_69 = lean_array_push(x_68, x_7); -x_70 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_70, 0, x_63); -lean_ctor_set(x_70, 1, x_69); -lean_inc(x_11); -x_71 = lean_array_push(x_11, x_59); -x_72 = lean_array_push(x_71, x_70); -x_73 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_73, 0, x_56); -lean_ctor_set(x_73, 1, x_72); -lean_inc(x_9); -x_74 = lean_array_push(x_9, x_73); -lean_inc(x_6); -x_75 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_75, 0, x_6); -lean_ctor_set(x_75, 1, x_74); -x_76 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__11; -lean_inc(x_47); -x_77 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_77, 0, x_47); -lean_ctor_set(x_77, 1, x_76); -lean_inc(x_17); -x_78 = lean_array_push(x_17, x_54); -x_79 = lean_array_push(x_78, x_75); -x_80 = lean_array_push(x_79, x_77); -x_81 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_81, 0, x_52); -lean_ctor_set(x_81, 1, x_80); -lean_inc(x_9); -x_82 = lean_array_push(x_9, x_81); -lean_inc(x_6); -x_83 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_83, 0, x_6); -lean_ctor_set(x_83, 1, x_82); -lean_inc(x_8); -x_84 = lean_array_push(x_8, x_83); -lean_inc(x_7); -x_85 = lean_array_push(x_84, x_7); -lean_inc(x_7); -x_86 = lean_array_push(x_85, x_7); -lean_inc(x_7); -x_87 = lean_array_push(x_86, x_7); -lean_inc(x_7); -x_88 = lean_array_push(x_87, x_7); -lean_inc(x_5); -x_89 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_89, 0, x_5); -lean_ctor_set(x_89, 1, x_88); -x_90 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__12; -lean_inc(x_3); -x_91 = lean_name_mk_string(x_3, x_90); -lean_inc(x_47); -x_92 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_92, 0, x_47); -lean_ctor_set(x_92, 1, x_90); -x_93 = l_Lean_mkIdentFrom(x_27, x_45); -lean_inc(x_11); -x_94 = lean_array_push(x_11, x_93); -lean_inc(x_7); -x_95 = lean_array_push(x_94, x_7); -lean_inc(x_10); -x_96 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_96, 0, x_10); -lean_ctor_set(x_96, 1, x_95); -x_97 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__13; -lean_inc(x_47); -x_98 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_98, 0, x_47); -lean_ctor_set(x_98, 1, x_97); -lean_inc(x_11); -x_99 = lean_array_push(x_11, x_98); -lean_inc(x_1); -x_100 = lean_array_push(x_99, x_1); -lean_inc(x_15); -x_101 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_101, 0, x_15); -lean_ctor_set(x_101, 1, x_100); -lean_inc(x_9); -x_102 = lean_array_push(x_9, x_101); -lean_inc(x_6); -x_103 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_103, 0, x_6); -lean_ctor_set(x_103, 1, x_102); -lean_inc(x_16); -x_104 = lean_array_push(x_16, x_103); -lean_inc(x_13); -x_105 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_105, 0, x_13); -lean_ctor_set(x_105, 1, x_104); -x_106 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__14; -lean_inc(x_3); -x_107 = lean_name_mk_string(x_3, x_106); -x_108 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__15; -lean_inc(x_47); -x_109 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_109, 0, x_47); -lean_ctor_set(x_109, 1, x_108); -x_110 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__16; -lean_inc(x_14); -x_111 = lean_name_mk_string(x_14, x_110); -x_112 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__17; -lean_inc(x_47); -x_113 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_113, 0, x_47); -lean_ctor_set(x_113, 1, x_112); -x_114 = l_Nat_repr(x_31); -x_115 = l_Lean_numLitKind; -x_116 = lean_box(2); -x_117 = l_Lean_Syntax_mkLit(x_115, x_114, x_116); -lean_inc(x_9); -x_118 = lean_array_push(x_9, x_117); -lean_inc(x_6); -x_119 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_119, 0, x_6); -lean_ctor_set(x_119, 1, x_118); -x_120 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__18; -x_121 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_121, 0, x_47); -lean_ctor_set(x_121, 1, x_120); -lean_inc(x_17); -x_122 = lean_array_push(x_17, x_113); -x_123 = lean_array_push(x_122, x_119); -x_124 = lean_array_push(x_123, x_121); -x_125 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_125, 0, x_111); -lean_ctor_set(x_125, 1, x_124); -lean_inc(x_17); -x_126 = lean_array_push(x_17, x_109); -x_127 = lean_array_push(x_126, x_125); -lean_inc(x_7); -x_128 = lean_array_push(x_127, x_7); -x_129 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_129, 0, x_107); -lean_ctor_set(x_129, 1, x_128); -x_130 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__19; -x_131 = lean_array_push(x_130, x_92); -x_132 = lean_array_push(x_131, x_96); -x_133 = lean_array_push(x_132, x_105); -x_134 = lean_array_push(x_133, x_129); -x_135 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_135, 0, x_91); -lean_ctor_set(x_135, 1, x_134); -lean_inc(x_11); -x_136 = lean_array_push(x_11, x_89); -x_137 = lean_array_push(x_136, x_135); -lean_inc(x_4); -x_138 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_138, 0, x_4); -lean_ctor_set(x_138, 1, x_137); -x_139 = lean_array_push(x_30, x_138); -lean_ctor_set(x_22, 1, x_139); -x_140 = 1; -x_141 = x_21 + x_140; -x_21 = x_141; -x_24 = x_48; -goto _start; -} -else -{ -lean_object* x_143; lean_object* x_144; lean_object* x_145; lean_object* x_146; lean_object* x_147; lean_object* x_148; lean_object* x_149; lean_object* x_150; lean_object* x_151; lean_object* x_152; lean_object* x_153; lean_object* x_154; lean_object* x_155; lean_object* x_156; lean_object* x_157; lean_object* x_158; lean_object* x_159; lean_object* x_160; lean_object* x_161; lean_object* x_162; lean_object* x_163; lean_object* x_164; lean_object* x_165; lean_object* x_166; lean_object* x_167; lean_object* x_168; lean_object* x_169; lean_object* x_170; lean_object* x_171; lean_object* x_172; lean_object* x_173; lean_object* x_174; lean_object* x_175; lean_object* x_176; lean_object* x_177; lean_object* x_178; lean_object* x_179; lean_object* x_180; lean_object* x_181; lean_object* x_182; lean_object* x_183; lean_object* x_184; lean_object* x_185; lean_object* x_186; lean_object* x_187; lean_object* x_188; lean_object* x_189; lean_object* x_190; lean_object* x_191; lean_object* x_192; lean_object* x_193; lean_object* x_194; lean_object* x_195; lean_object* x_196; lean_object* x_197; lean_object* x_198; lean_object* x_199; lean_object* x_200; lean_object* x_201; lean_object* x_202; lean_object* x_203; lean_object* x_204; lean_object* x_205; lean_object* x_206; lean_object* x_207; lean_object* x_208; lean_object* x_209; lean_object* x_210; lean_object* x_211; lean_object* x_212; lean_object* x_213; lean_object* x_214; lean_object* x_215; lean_object* x_216; lean_object* x_217; lean_object* x_218; lean_object* x_219; lean_object* x_220; lean_object* x_221; lean_object* x_222; lean_object* x_223; lean_object* x_224; lean_object* x_225; lean_object* x_226; lean_object* x_227; lean_object* x_228; lean_object* x_229; lean_object* x_230; lean_object* x_231; lean_object* x_232; lean_object* x_233; lean_object* x_234; lean_object* x_235; lean_object* x_236; lean_object* x_237; lean_object* x_238; lean_object* x_239; lean_object* x_240; lean_object* x_241; lean_object* x_242; lean_object* x_243; size_t x_244; size_t x_245; -lean_dec(x_29); -x_143 = lean_nat_add(x_31, x_33); -x_144 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_144, 0, x_143); -lean_ctor_set(x_144, 1, x_32); -lean_ctor_set(x_144, 2, x_33); -x_145 = l_Lean_Syntax_getId(x_1); -x_146 = lean_unsigned_to_nat(1u); -x_147 = l_Lean_Syntax_getArg(x_27, x_146); -x_148 = l_Lean_Syntax_getId(x_147); -lean_dec(x_147); -x_149 = l_Lean_Name_append(x_145, x_148); -lean_dec(x_145); -lean_inc(x_23); -x_150 = l_Lean_MonadRef_mkInfoFromRefPos___at_myMacro____x40_Init_Notation___hyg_72____spec__1(x_23, x_24); -x_151 = lean_ctor_get(x_150, 0); -lean_inc(x_151); -x_152 = lean_ctor_get(x_150, 1); -lean_inc(x_152); -lean_dec(x_150); -x_153 = lean_ctor_get(x_23, 2); -lean_inc(x_153); -x_154 = lean_ctor_get(x_23, 1); -lean_inc(x_154); -x_155 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__1; -lean_inc(x_14); -x_156 = lean_name_mk_string(x_14, x_155); -x_157 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__2; -lean_inc(x_151); -x_158 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_158, 0, x_151); -lean_ctor_set(x_158, 1, x_157); -x_159 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__3; -lean_inc(x_14); -x_160 = lean_name_mk_string(x_14, x_159); -x_161 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__4; -lean_inc(x_14); -x_162 = lean_name_mk_string(x_14, x_161); -lean_inc(x_18); -x_163 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_163, 0, x_162); -lean_ctor_set(x_163, 1, x_18); -x_164 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__5; -lean_inc(x_2); -x_165 = lean_name_mk_string(x_2, x_164); -x_166 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__6; -x_167 = lean_name_mk_string(x_165, x_166); -x_168 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__10; -x_169 = l_Lean_addMacroScope(x_154, x_168, x_153); -x_170 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__9; -lean_inc(x_12); -lean_inc(x_151); -x_171 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_171, 0, x_151); -lean_ctor_set(x_171, 1, x_170); -lean_ctor_set(x_171, 2, x_169); -lean_ctor_set(x_171, 3, x_12); -lean_inc(x_11); -x_172 = lean_array_push(x_11, x_171); -lean_inc(x_7); -x_173 = lean_array_push(x_172, x_7); -x_174 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_174, 0, x_167); -lean_ctor_set(x_174, 1, x_173); -lean_inc(x_11); -x_175 = lean_array_push(x_11, x_163); -x_176 = lean_array_push(x_175, x_174); -x_177 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_177, 0, x_160); -lean_ctor_set(x_177, 1, x_176); -lean_inc(x_9); -x_178 = lean_array_push(x_9, x_177); -lean_inc(x_6); -x_179 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_179, 0, x_6); -lean_ctor_set(x_179, 1, x_178); -x_180 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__11; -lean_inc(x_151); -x_181 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_181, 0, x_151); -lean_ctor_set(x_181, 1, x_180); -lean_inc(x_17); -x_182 = lean_array_push(x_17, x_158); -x_183 = lean_array_push(x_182, x_179); -x_184 = lean_array_push(x_183, x_181); -x_185 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_185, 0, x_156); -lean_ctor_set(x_185, 1, x_184); -lean_inc(x_9); -x_186 = lean_array_push(x_9, x_185); -lean_inc(x_6); -x_187 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_187, 0, x_6); -lean_ctor_set(x_187, 1, x_186); -lean_inc(x_8); -x_188 = lean_array_push(x_8, x_187); -lean_inc(x_7); -x_189 = lean_array_push(x_188, x_7); -lean_inc(x_7); -x_190 = lean_array_push(x_189, x_7); -lean_inc(x_7); -x_191 = lean_array_push(x_190, x_7); -lean_inc(x_7); -x_192 = lean_array_push(x_191, x_7); -lean_inc(x_5); -x_193 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_193, 0, x_5); -lean_ctor_set(x_193, 1, x_192); -x_194 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__12; -lean_inc(x_3); -x_195 = lean_name_mk_string(x_3, x_194); -lean_inc(x_151); -x_196 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_196, 0, x_151); -lean_ctor_set(x_196, 1, x_194); -x_197 = l_Lean_mkIdentFrom(x_27, x_149); -lean_inc(x_11); -x_198 = lean_array_push(x_11, x_197); -lean_inc(x_7); -x_199 = lean_array_push(x_198, x_7); -lean_inc(x_10); -x_200 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_200, 0, x_10); -lean_ctor_set(x_200, 1, x_199); -x_201 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__13; -lean_inc(x_151); -x_202 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_202, 0, x_151); -lean_ctor_set(x_202, 1, x_201); -lean_inc(x_11); -x_203 = lean_array_push(x_11, x_202); -lean_inc(x_1); -x_204 = lean_array_push(x_203, x_1); -lean_inc(x_15); -x_205 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_205, 0, x_15); -lean_ctor_set(x_205, 1, x_204); -lean_inc(x_9); -x_206 = lean_array_push(x_9, x_205); -lean_inc(x_6); -x_207 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_207, 0, x_6); -lean_ctor_set(x_207, 1, x_206); -lean_inc(x_16); -x_208 = lean_array_push(x_16, x_207); -lean_inc(x_13); -x_209 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_209, 0, x_13); -lean_ctor_set(x_209, 1, x_208); -x_210 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__14; -lean_inc(x_3); -x_211 = lean_name_mk_string(x_3, x_210); -x_212 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__15; -lean_inc(x_151); -x_213 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_213, 0, x_151); -lean_ctor_set(x_213, 1, x_212); -x_214 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__16; -lean_inc(x_14); -x_215 = lean_name_mk_string(x_14, x_214); -x_216 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__17; -lean_inc(x_151); -x_217 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_217, 0, x_151); -lean_ctor_set(x_217, 1, x_216); -x_218 = l_Nat_repr(x_31); -x_219 = l_Lean_numLitKind; -x_220 = lean_box(2); -x_221 = l_Lean_Syntax_mkLit(x_219, x_218, x_220); -lean_inc(x_9); -x_222 = lean_array_push(x_9, x_221); -lean_inc(x_6); -x_223 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_223, 0, x_6); -lean_ctor_set(x_223, 1, x_222); -x_224 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__18; -x_225 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_225, 0, x_151); -lean_ctor_set(x_225, 1, x_224); -lean_inc(x_17); -x_226 = lean_array_push(x_17, x_217); -x_227 = lean_array_push(x_226, x_223); -x_228 = lean_array_push(x_227, x_225); -x_229 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_229, 0, x_215); -lean_ctor_set(x_229, 1, x_228); -lean_inc(x_17); -x_230 = lean_array_push(x_17, x_213); -x_231 = lean_array_push(x_230, x_229); -lean_inc(x_7); -x_232 = lean_array_push(x_231, x_7); -x_233 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_233, 0, x_211); -lean_ctor_set(x_233, 1, x_232); -x_234 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__19; -x_235 = lean_array_push(x_234, x_196); -x_236 = lean_array_push(x_235, x_200); -x_237 = lean_array_push(x_236, x_209); -x_238 = lean_array_push(x_237, x_233); -x_239 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_239, 0, x_195); -lean_ctor_set(x_239, 1, x_238); -lean_inc(x_11); -x_240 = lean_array_push(x_11, x_193); -x_241 = lean_array_push(x_240, x_239); -lean_inc(x_4); -x_242 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_242, 0, x_4); -lean_ctor_set(x_242, 1, x_241); -x_243 = lean_array_push(x_30, x_242); -lean_ctor_set(x_22, 1, x_243); -lean_ctor_set(x_22, 0, x_144); -x_244 = 1; -x_245 = x_21 + x_244; -x_21 = x_245; -x_24 = x_152; -goto _start; -} -} -} -else -{ -lean_object* x_247; lean_object* x_248; lean_object* x_249; lean_object* x_250; lean_object* x_251; uint8_t x_252; -x_247 = lean_ctor_get(x_22, 0); -x_248 = lean_ctor_get(x_22, 1); -lean_inc(x_248); -lean_inc(x_247); -lean_dec(x_22); -x_249 = lean_ctor_get(x_247, 0); -lean_inc(x_249); -x_250 = lean_ctor_get(x_247, 1); -lean_inc(x_250); -x_251 = lean_ctor_get(x_247, 2); -lean_inc(x_251); -x_252 = lean_nat_dec_lt(x_249, x_250); -if (x_252 == 0) -{ -lean_object* x_253; lean_object* x_254; -lean_dec(x_251); -lean_dec(x_250); -lean_dec(x_249); -lean_dec(x_27); -lean_dec(x_23); -lean_dec(x_18); -lean_dec(x_17); -lean_dec(x_16); -lean_dec(x_15); -lean_dec(x_14); -lean_dec(x_13); -lean_dec(x_12); -lean_dec(x_11); -lean_dec(x_10); -lean_dec(x_9); -lean_dec(x_8); -lean_dec(x_7); -lean_dec(x_6); -lean_dec(x_5); -lean_dec(x_4); -lean_dec(x_3); -lean_dec(x_2); -lean_dec(x_1); -x_253 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_253, 0, x_247); -lean_ctor_set(x_253, 1, x_248); -x_254 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_254, 0, x_253); -lean_ctor_set(x_254, 1, x_24); -return x_254; -} -else -{ -lean_object* x_255; lean_object* x_256; lean_object* x_257; lean_object* x_258; lean_object* x_259; lean_object* x_260; lean_object* x_261; lean_object* x_262; lean_object* x_263; lean_object* x_264; lean_object* x_265; lean_object* x_266; lean_object* x_267; lean_object* x_268; lean_object* x_269; lean_object* x_270; lean_object* x_271; lean_object* x_272; lean_object* x_273; lean_object* x_274; lean_object* x_275; lean_object* x_276; lean_object* x_277; lean_object* x_278; lean_object* x_279; lean_object* x_280; lean_object* x_281; lean_object* x_282; lean_object* x_283; lean_object* x_284; lean_object* x_285; lean_object* x_286; lean_object* x_287; lean_object* x_288; lean_object* x_289; lean_object* x_290; lean_object* x_291; lean_object* x_292; lean_object* x_293; lean_object* x_294; lean_object* x_295; lean_object* x_296; lean_object* x_297; lean_object* x_298; lean_object* x_299; lean_object* x_300; lean_object* x_301; lean_object* x_302; lean_object* x_303; lean_object* x_304; lean_object* x_305; lean_object* x_306; lean_object* x_307; lean_object* x_308; lean_object* x_309; lean_object* x_310; lean_object* x_311; lean_object* x_312; lean_object* x_313; lean_object* x_314; lean_object* x_315; lean_object* x_316; lean_object* x_317; lean_object* x_318; lean_object* x_319; lean_object* x_320; lean_object* x_321; lean_object* x_322; lean_object* x_323; lean_object* x_324; lean_object* x_325; lean_object* x_326; lean_object* x_327; lean_object* x_328; lean_object* x_329; lean_object* x_330; lean_object* x_331; lean_object* x_332; lean_object* x_333; lean_object* x_334; lean_object* x_335; lean_object* x_336; lean_object* x_337; lean_object* x_338; lean_object* x_339; lean_object* x_340; lean_object* x_341; lean_object* x_342; lean_object* x_343; lean_object* x_344; lean_object* x_345; lean_object* x_346; lean_object* x_347; lean_object* x_348; lean_object* x_349; lean_object* x_350; lean_object* x_351; lean_object* x_352; lean_object* x_353; lean_object* x_354; lean_object* x_355; lean_object* x_356; lean_object* x_357; size_t x_358; size_t x_359; -if (lean_is_exclusive(x_247)) { - lean_ctor_release(x_247, 0); - lean_ctor_release(x_247, 1); - lean_ctor_release(x_247, 2); - x_255 = x_247; -} else { - lean_dec_ref(x_247); - x_255 = lean_box(0); -} -x_256 = lean_nat_add(x_249, x_251); -if (lean_is_scalar(x_255)) { - x_257 = lean_alloc_ctor(0, 3, 0); -} else { - x_257 = x_255; -} -lean_ctor_set(x_257, 0, x_256); -lean_ctor_set(x_257, 1, x_250); -lean_ctor_set(x_257, 2, x_251); -x_258 = l_Lean_Syntax_getId(x_1); -x_259 = lean_unsigned_to_nat(1u); -x_260 = l_Lean_Syntax_getArg(x_27, x_259); -x_261 = l_Lean_Syntax_getId(x_260); -lean_dec(x_260); -x_262 = l_Lean_Name_append(x_258, x_261); -lean_dec(x_258); -lean_inc(x_23); -x_263 = l_Lean_MonadRef_mkInfoFromRefPos___at_myMacro____x40_Init_Notation___hyg_72____spec__1(x_23, x_24); -x_264 = lean_ctor_get(x_263, 0); -lean_inc(x_264); -x_265 = lean_ctor_get(x_263, 1); -lean_inc(x_265); -lean_dec(x_263); -x_266 = lean_ctor_get(x_23, 2); -lean_inc(x_266); -x_267 = lean_ctor_get(x_23, 1); -lean_inc(x_267); -x_268 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__1; -lean_inc(x_14); -x_269 = lean_name_mk_string(x_14, x_268); -x_270 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__2; -lean_inc(x_264); -x_271 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_271, 0, x_264); -lean_ctor_set(x_271, 1, x_270); -x_272 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__3; -lean_inc(x_14); -x_273 = lean_name_mk_string(x_14, x_272); -x_274 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__4; -lean_inc(x_14); -x_275 = lean_name_mk_string(x_14, x_274); -lean_inc(x_18); -x_276 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_276, 0, x_275); -lean_ctor_set(x_276, 1, x_18); -x_277 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__5; -lean_inc(x_2); -x_278 = lean_name_mk_string(x_2, x_277); -x_279 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__6; -x_280 = lean_name_mk_string(x_278, x_279); -x_281 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__10; -x_282 = l_Lean_addMacroScope(x_267, x_281, x_266); -x_283 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__9; -lean_inc(x_12); -lean_inc(x_264); -x_284 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_284, 0, x_264); -lean_ctor_set(x_284, 1, x_283); -lean_ctor_set(x_284, 2, x_282); -lean_ctor_set(x_284, 3, x_12); -lean_inc(x_11); -x_285 = lean_array_push(x_11, x_284); -lean_inc(x_7); -x_286 = lean_array_push(x_285, x_7); -x_287 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_287, 0, x_280); -lean_ctor_set(x_287, 1, x_286); -lean_inc(x_11); -x_288 = lean_array_push(x_11, x_276); -x_289 = lean_array_push(x_288, x_287); -x_290 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_290, 0, x_273); -lean_ctor_set(x_290, 1, x_289); -lean_inc(x_9); -x_291 = lean_array_push(x_9, x_290); -lean_inc(x_6); -x_292 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_292, 0, x_6); -lean_ctor_set(x_292, 1, x_291); -x_293 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__11; -lean_inc(x_264); -x_294 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_294, 0, x_264); -lean_ctor_set(x_294, 1, x_293); -lean_inc(x_17); -x_295 = lean_array_push(x_17, x_271); -x_296 = lean_array_push(x_295, x_292); -x_297 = lean_array_push(x_296, x_294); -x_298 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_298, 0, x_269); -lean_ctor_set(x_298, 1, x_297); -lean_inc(x_9); -x_299 = lean_array_push(x_9, x_298); -lean_inc(x_6); -x_300 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_300, 0, x_6); -lean_ctor_set(x_300, 1, x_299); -lean_inc(x_8); -x_301 = lean_array_push(x_8, x_300); -lean_inc(x_7); -x_302 = lean_array_push(x_301, x_7); -lean_inc(x_7); -x_303 = lean_array_push(x_302, x_7); -lean_inc(x_7); -x_304 = lean_array_push(x_303, x_7); -lean_inc(x_7); -x_305 = lean_array_push(x_304, x_7); -lean_inc(x_5); -x_306 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_306, 0, x_5); -lean_ctor_set(x_306, 1, x_305); -x_307 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__12; -lean_inc(x_3); -x_308 = lean_name_mk_string(x_3, x_307); -lean_inc(x_264); -x_309 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_309, 0, x_264); -lean_ctor_set(x_309, 1, x_307); -x_310 = l_Lean_mkIdentFrom(x_27, x_262); -lean_inc(x_11); -x_311 = lean_array_push(x_11, x_310); -lean_inc(x_7); -x_312 = lean_array_push(x_311, x_7); -lean_inc(x_10); -x_313 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_313, 0, x_10); -lean_ctor_set(x_313, 1, x_312); -x_314 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__13; -lean_inc(x_264); -x_315 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_315, 0, x_264); -lean_ctor_set(x_315, 1, x_314); -lean_inc(x_11); -x_316 = lean_array_push(x_11, x_315); -lean_inc(x_1); -x_317 = lean_array_push(x_316, x_1); -lean_inc(x_15); -x_318 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_318, 0, x_15); -lean_ctor_set(x_318, 1, x_317); -lean_inc(x_9); -x_319 = lean_array_push(x_9, x_318); -lean_inc(x_6); -x_320 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_320, 0, x_6); -lean_ctor_set(x_320, 1, x_319); -lean_inc(x_16); -x_321 = lean_array_push(x_16, x_320); -lean_inc(x_13); -x_322 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_322, 0, x_13); -lean_ctor_set(x_322, 1, x_321); -x_323 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__14; -lean_inc(x_3); -x_324 = lean_name_mk_string(x_3, x_323); -x_325 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__15; -lean_inc(x_264); -x_326 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_326, 0, x_264); -lean_ctor_set(x_326, 1, x_325); -x_327 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__16; -lean_inc(x_14); -x_328 = lean_name_mk_string(x_14, x_327); -x_329 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__17; -lean_inc(x_264); -x_330 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_330, 0, x_264); -lean_ctor_set(x_330, 1, x_329); -x_331 = l_Nat_repr(x_249); -x_332 = l_Lean_numLitKind; -x_333 = lean_box(2); -x_334 = l_Lean_Syntax_mkLit(x_332, x_331, x_333); -lean_inc(x_9); -x_335 = lean_array_push(x_9, x_334); -lean_inc(x_6); -x_336 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_336, 0, x_6); -lean_ctor_set(x_336, 1, x_335); -x_337 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__18; -x_338 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_338, 0, x_264); -lean_ctor_set(x_338, 1, x_337); -lean_inc(x_17); -x_339 = lean_array_push(x_17, x_330); -x_340 = lean_array_push(x_339, x_336); -x_341 = lean_array_push(x_340, x_338); -x_342 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_342, 0, x_328); -lean_ctor_set(x_342, 1, x_341); -lean_inc(x_17); -x_343 = lean_array_push(x_17, x_326); -x_344 = lean_array_push(x_343, x_342); -lean_inc(x_7); -x_345 = lean_array_push(x_344, x_7); -x_346 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_346, 0, x_324); -lean_ctor_set(x_346, 1, x_345); -x_347 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__19; -x_348 = lean_array_push(x_347, x_309); -x_349 = lean_array_push(x_348, x_313); -x_350 = lean_array_push(x_349, x_322); -x_351 = lean_array_push(x_350, x_346); -x_352 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_352, 0, x_308); -lean_ctor_set(x_352, 1, x_351); -lean_inc(x_11); -x_353 = lean_array_push(x_11, x_306); -x_354 = lean_array_push(x_353, x_352); -lean_inc(x_4); -x_355 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_355, 0, x_4); -lean_ctor_set(x_355, 1, x_354); -x_356 = lean_array_push(x_248, x_355); -x_357 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_357, 0, x_257); -lean_ctor_set(x_357, 1, x_356); -x_358 = 1; -x_359 = x_21 + x_358; -x_21 = x_359; -x_22 = x_357; -x_24 = x_265; -goto _start; -} -} -} -} -} -static lean_object* _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__1() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Std.format"); -return x_1; -} -} -static lean_object* _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__1; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__3() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__1; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__2; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__4() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Std"); -return x_1; -} -} -static lean_object* _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__5() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__4; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__6() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("format"); -return x_1; -} -} -static lean_object* _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__7() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__5; -x_2 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__6; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__8() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("ToFormat"); -return x_1; -} -} -static lean_object* _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__9() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__5; -x_2 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__8; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__9; -x_2 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__6; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8, size_t x_9, size_t x_10, lean_object* x_11, lean_object* x_12, lean_object* x_13) { -_start: -{ -uint8_t x_14; -x_14 = x_10 < x_9; -if (x_14 == 0) -{ -lean_object* x_15; lean_object* x_16; -lean_dec(x_12); -lean_dec(x_7); -lean_dec(x_6); -lean_dec(x_5); -lean_dec(x_4); -lean_dec(x_3); -lean_dec(x_2); -x_15 = x_11; -x_16 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_16, 0, x_15); -lean_ctor_set(x_16, 1, x_13); -return x_16; -} -else -{ -lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29; lean_object* x_30; lean_object* x_31; lean_object* x_32; lean_object* x_33; lean_object* x_34; lean_object* x_35; lean_object* x_36; lean_object* x_37; lean_object* x_38; uint8_t x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; size_t x_48; size_t x_49; lean_object* x_50; lean_object* x_51; -x_17 = lean_array_uget(x_11, x_10); -x_18 = lean_unsigned_to_nat(0u); -x_19 = lean_array_uset(x_11, x_10, x_18); -x_20 = x_17; -lean_inc(x_12); -x_21 = l_Lean_MonadRef_mkInfoFromRefPos___at_myMacro____x40_Init_Notation___hyg_72____spec__1(x_12, x_13); -x_22 = lean_ctor_get(x_21, 0); -lean_inc(x_22); -x_23 = lean_ctor_get(x_21, 1); -lean_inc(x_23); -lean_dec(x_21); -x_24 = lean_ctor_get(x_12, 2); -lean_inc(x_24); -x_25 = lean_ctor_get(x_12, 1); -lean_inc(x_25); -x_26 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__7; -x_27 = l_Lean_addMacroScope(x_25, x_26, x_24); -x_28 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__10; -lean_inc(x_7); -x_29 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_29, 0, x_28); -lean_ctor_set(x_29, 1, x_7); -lean_inc(x_5); -x_30 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_30, 0, x_29); -lean_ctor_set(x_30, 1, x_5); -x_31 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__3; -x_32 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_32, 0, x_22); -lean_ctor_set(x_32, 1, x_31); -lean_ctor_set(x_32, 2, x_27); -lean_ctor_set(x_32, 3, x_30); -x_33 = l_Lean_Syntax_getId(x_1); -x_34 = lean_unsigned_to_nat(1u); -x_35 = l_Lean_Syntax_getArg(x_20, x_34); -lean_dec(x_20); -x_36 = l_Lean_Syntax_getId(x_35); -lean_dec(x_35); -x_37 = l_Lean_Name_append(x_33, x_36); -lean_dec(x_33); -x_38 = l_Lean_Name_append(x_8, x_37); -x_39 = 1; -x_40 = l_Lean_Name_toString(x_38, x_39); -x_41 = lean_box(2); -x_42 = l_Lean_Syntax_mkStrLit(x_40, x_41); -lean_dec(x_40); -lean_inc(x_3); -x_43 = lean_array_push(x_3, x_42); -lean_inc(x_2); -x_44 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_44, 0, x_2); -lean_ctor_set(x_44, 1, x_43); -lean_inc(x_4); -x_45 = lean_array_push(x_4, x_32); -x_46 = lean_array_push(x_45, x_44); -lean_inc(x_6); -x_47 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_47, 0, x_6); -lean_ctor_set(x_47, 1, x_46); -x_48 = 1; -x_49 = x_10 + x_48; -x_50 = x_47; -x_51 = lean_array_uset(x_19, x_10, x_50); -x_10 = x_49; -x_11 = x_51; -x_13 = x_23; -goto _start; -} -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__1() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Lean"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__2() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__1; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__3() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Parser"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__4() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__2; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__3; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__5() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Command"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__6() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__4; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__5; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__7() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("declaration"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__8() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__7; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__9() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("declModifiers"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__9; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__11() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("null"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__12() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__11; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__13() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = lean_unsigned_to_nat(0u); -x_2 = lean_mk_empty_array_with_capacity(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__14() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__12; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__13; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_1); -lean_ctor_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__15() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = lean_unsigned_to_nat(6u); -x_2 = lean_mk_empty_array_with_capacity(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__16() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__15; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__14; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__17() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__16; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__14; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__18() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__17; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__14; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__19() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__18; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__14; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__20() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__19; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__14; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__21() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__20; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__14; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__22() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__10; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__21; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_1); -lean_ctor_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__23() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("structure"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__24() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__23; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__25() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("structureTk"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__26() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__25; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__27() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = lean_unsigned_to_nat(1u); -x_2 = lean_mk_empty_array_with_capacity(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__28() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("declId"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__29() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__28; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__30() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = lean_unsigned_to_nat(2u); -x_2 = lean_mk_empty_array_with_capacity(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__31() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("where"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__32() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("structFields"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__33() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__32; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__34() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("structExplicitBinder"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__35() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__34; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__36() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("("); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__37() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("val"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__38() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__37; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__39() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__37; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__38; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__40() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__37; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__41() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("optDeclSig"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__42() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__41; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__43() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Term"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__44() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__4; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__43; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__45() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("typeSpec"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__46() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__44; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__45; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__47() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("app"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__48() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__44; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__47; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__49() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Fin"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__50() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__49; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__51() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__49; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__50; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__52() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__49; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__53() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__52; -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__54() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__53; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__55() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__30; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__14; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__56() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string(")"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__57() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = lean_unsigned_to_nat(7u); -x_2 = lean_mk_empty_array_with_capacity(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__58() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__57; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__22; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__59() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = lean_unsigned_to_nat(3u); -x_2 = lean_mk_empty_array_with_capacity(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__60() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("optDeriving"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__61() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__60; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__62() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__27; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__14; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__63() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__61; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__62; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_1); -lean_ctor_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__64() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__30; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__22; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__65() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("deriving"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__66() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__65; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__67() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("instance"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__68() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("BEq"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__69() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__68; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__70() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__68; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__69; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__71() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__68; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__72() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__71; -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__73() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__72; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__74() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string(","); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__75() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("DecidableEq"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__76() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__75; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__77() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__75; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__76; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__78() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__75; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__79() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__78; -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__80() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__79; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__81() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Inhabited"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__82() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__81; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__83() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__81; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__82; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__84() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__81; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__85() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__84; -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__86() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__85; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__87() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = lean_unsigned_to_nat(5u); -x_2 = lean_mk_empty_array_with_capacity(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__88() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("for"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__89() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("def"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__90() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__89; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__91() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("enumFmts"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__92() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__91; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__93() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__91; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__92; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__94() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__91; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__95() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Array"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__96() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__95; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__97() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__95; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__96; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__98() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__95; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__99() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__98; -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__100() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__99; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__101() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Std.Format"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__102() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__101; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__103() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__101; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__102; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__104() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Format"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__105() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__5; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__104; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__106() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__105; -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__107() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__106; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__108() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__14; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__109() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("proj"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__110() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__44; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__109; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__111() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("term[_]"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__112() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__111; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__113() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("["); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__114() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("."); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__115() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("toArray"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__116() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__115; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__117() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__115; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__116; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__118() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__115; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__119() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__67; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__120() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__44; -x_2 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__4; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__121() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__120; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__62; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_1); -lean_ctor_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__122() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("declSig"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__123() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__122; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__124() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("Repr"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__125() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__124; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__126() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__124; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__125; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__127() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__124; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__128() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__127; -x_3 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__129() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__128; -x_3 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_3, 0, x_2); -lean_ctor_set(x_3, 1, x_1); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__130() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__44; -x_2 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__16; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__131() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("fun"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__132() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__44; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__131; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__133() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("basicFun"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__134() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__44; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__133; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__135() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("e"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__136() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__135; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__137() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__135; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__136; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__138() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_box(0); -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__135; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__139() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("hole"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__140() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__44; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__139; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__141() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("_"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__142() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("=>"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__143() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("arrayRef"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__144() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__44; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__143; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__145() { -_start: -{ -lean_object* x_1; -x_1 = lean_mk_string("e.val.val"); -return x_1; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__146() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__145; -x_2 = lean_string_utf8_byte_size(x_1); -return x_2; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__147() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__145; -x_2 = lean_unsigned_to_nat(0u); -x_3 = l_myMacro____x40_Init_Enum___hyg_33____closed__146; -x_4 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_4, 0, x_1); -lean_ctor_set(x_4, 1, x_2); -lean_ctor_set(x_4, 2, x_3); -return x_4; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__148() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__138; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__37; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__149() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__148; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__37; -x_3 = lean_name_mk_string(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____closed__150() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_myMacro____x40_Init_Enum___hyg_33____closed__15; -x_2 = l_myMacro____x40_Init_Enum___hyg_33____closed__121; -x_3 = lean_array_push(x_1, x_2); -return x_3; -} -} -static lean_object* _init_l_myMacro____x40_Init_Enum___hyg_33____boxed__const__1() { -_start: -{ -size_t x_1; lean_object* x_2; -x_1 = 0; -x_2 = lean_box_usize(x_1); -return x_2; -} -} -lean_object* l_myMacro____x40_Init_Enum___hyg_33_(lean_object* x_1, lean_object* x_2, lean_object* x_3) { -_start: -{ -lean_object* x_4; uint8_t x_5; -x_4 = l_commandEnum____Where_x7c_______closed__2; -lean_inc(x_1); -x_5 = l_Lean_Syntax_isOfKind(x_1, x_4); -if (x_5 == 0) -{ -lean_object* x_6; lean_object* x_7; -lean_dec(x_2); -lean_dec(x_1); -x_6 = lean_box(1); -x_7 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_7, 0, x_6); -lean_ctor_set(x_7, 1, x_3); -return x_7; -} -else -{ -lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29; lean_object* x_30; lean_object* x_31; lean_object* x_32; lean_object* x_33; lean_object* x_34; lean_object* x_35; lean_object* x_36; lean_object* x_37; lean_object* x_38; lean_object* x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; lean_object* x_48; lean_object* x_49; lean_object* x_50; lean_object* x_51; lean_object* x_52; lean_object* x_53; lean_object* x_54; lean_object* x_55; lean_object* x_56; lean_object* x_57; lean_object* x_58; lean_object* x_59; lean_object* x_60; lean_object* x_61; lean_object* x_62; lean_object* x_63; lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; lean_object* x_68; lean_object* x_69; lean_object* x_70; lean_object* x_71; lean_object* x_72; lean_object* x_73; lean_object* x_74; lean_object* x_75; lean_object* x_76; lean_object* x_77; lean_object* x_78; lean_object* x_79; lean_object* x_80; lean_object* x_81; lean_object* x_82; lean_object* x_83; lean_object* x_84; lean_object* x_85; lean_object* x_86; lean_object* x_87; lean_object* x_88; lean_object* x_89; lean_object* x_90; lean_object* x_91; lean_object* x_92; lean_object* x_93; lean_object* x_94; lean_object* x_95; lean_object* x_96; lean_object* x_97; lean_object* x_98; lean_object* x_99; lean_object* x_100; lean_object* x_101; lean_object* x_102; lean_object* x_103; lean_object* x_104; lean_object* x_105; lean_object* x_106; lean_object* x_107; lean_object* x_108; lean_object* x_109; lean_object* x_110; lean_object* x_111; lean_object* x_112; lean_object* x_113; lean_object* x_114; lean_object* x_115; lean_object* x_116; lean_object* x_117; lean_object* x_118; lean_object* x_119; lean_object* x_120; lean_object* x_121; lean_object* x_122; lean_object* x_123; lean_object* x_124; lean_object* x_125; lean_object* x_126; lean_object* x_127; lean_object* x_128; lean_object* x_129; lean_object* x_130; lean_object* x_131; lean_object* x_132; lean_object* x_133; lean_object* x_134; lean_object* x_135; lean_object* x_136; lean_object* x_137; lean_object* x_138; lean_object* x_139; lean_object* x_140; lean_object* x_141; lean_object* x_142; lean_object* x_143; lean_object* x_144; lean_object* x_145; lean_object* x_146; lean_object* x_147; lean_object* x_148; lean_object* x_149; lean_object* x_150; lean_object* x_151; lean_object* x_152; lean_object* x_153; lean_object* x_154; lean_object* x_155; lean_object* x_156; lean_object* x_157; lean_object* x_158; -x_8 = lean_unsigned_to_nat(1u); -x_9 = l_Lean_Syntax_getArg(x_1, x_8); -x_10 = lean_unsigned_to_nat(3u); -x_11 = l_Lean_Syntax_getArg(x_1, x_10); -lean_dec(x_1); -x_12 = l_Lean_Syntax_getArgs(x_11); -lean_dec(x_11); -x_13 = lean_array_get_size(x_12); -lean_inc(x_2); -x_14 = l_Lean_MonadRef_mkInfoFromRefPos___at_myMacro____x40_Init_Notation___hyg_72____spec__1(x_2, x_3); -x_15 = lean_ctor_get(x_14, 0); -lean_inc(x_15); -x_16 = lean_ctor_get(x_14, 1); -lean_inc(x_16); -lean_dec(x_14); -x_17 = lean_ctor_get(x_2, 2); -lean_inc(x_17); -x_18 = lean_ctor_get(x_2, 1); -lean_inc(x_18); -x_19 = l_myMacro____x40_Init_Enum___hyg_33____closed__23; -lean_inc(x_15); -x_20 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_20, 0, x_15); -lean_ctor_set(x_20, 1, x_19); -x_21 = l_myMacro____x40_Init_Enum___hyg_33____closed__27; -x_22 = lean_array_push(x_21, x_20); -x_23 = l_myMacro____x40_Init_Enum___hyg_33____closed__26; -x_24 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_24, 0, x_23); -lean_ctor_set(x_24, 1, x_22); -x_25 = l_myMacro____x40_Init_Enum___hyg_33____closed__30; -lean_inc(x_9); -x_26 = lean_array_push(x_25, x_9); -x_27 = l_myMacro____x40_Init_Enum___hyg_33____closed__14; -x_28 = lean_array_push(x_26, x_27); -x_29 = l_myMacro____x40_Init_Enum___hyg_33____closed__29; -x_30 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_30, 0, x_29); -lean_ctor_set(x_30, 1, x_28); -x_31 = l_myMacro____x40_Init_Enum___hyg_33____closed__31; -lean_inc(x_15); -x_32 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_32, 0, x_15); -lean_ctor_set(x_32, 1, x_31); -x_33 = l_myMacro____x40_Init_Enum___hyg_33____closed__36; -lean_inc(x_15); -x_34 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_34, 0, x_15); -lean_ctor_set(x_34, 1, x_33); -x_35 = l_myMacro____x40_Init_Enum___hyg_33____closed__40; -lean_inc(x_17); -lean_inc(x_18); -x_36 = l_Lean_addMacroScope(x_18, x_35, x_17); -x_37 = lean_box(0); -x_38 = l_myMacro____x40_Init_Enum___hyg_33____closed__39; -lean_inc(x_15); -x_39 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_39, 0, x_15); -lean_ctor_set(x_39, 1, x_38); -lean_ctor_set(x_39, 2, x_36); -lean_ctor_set(x_39, 3, x_37); -x_40 = lean_array_push(x_21, x_39); -x_41 = l_myMacro____x40_Init_Enum___hyg_33____closed__12; -x_42 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_42, 0, x_41); -lean_ctor_set(x_42, 1, x_40); -x_43 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__13; -lean_inc(x_15); -x_44 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_44, 0, x_15); -lean_ctor_set(x_44, 1, x_43); -x_45 = l_myMacro____x40_Init_Enum___hyg_33____closed__52; -lean_inc(x_17); -lean_inc(x_18); -x_46 = l_Lean_addMacroScope(x_18, x_45, x_17); -x_47 = l_myMacro____x40_Init_Enum___hyg_33____closed__51; -x_48 = l_myMacro____x40_Init_Enum___hyg_33____closed__54; -lean_inc(x_15); -x_49 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_49, 0, x_15); -lean_ctor_set(x_49, 1, x_47); -lean_ctor_set(x_49, 2, x_46); -lean_ctor_set(x_49, 3, x_48); -lean_inc(x_13); -x_50 = l_Nat_repr(x_13); -x_51 = l_Lean_numLitKind; -x_52 = lean_box(2); -x_53 = l_Lean_Syntax_mkLit(x_51, x_50, x_52); -x_54 = lean_array_push(x_21, x_53); -x_55 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_55, 0, x_41); -lean_ctor_set(x_55, 1, x_54); -x_56 = lean_array_push(x_25, x_49); -x_57 = lean_array_push(x_56, x_55); -x_58 = l_myMacro____x40_Init_Enum___hyg_33____closed__48; -x_59 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_59, 0, x_58); -lean_ctor_set(x_59, 1, x_57); -x_60 = lean_array_push(x_25, x_44); -x_61 = lean_array_push(x_60, x_59); -x_62 = l_myMacro____x40_Init_Enum___hyg_33____closed__46; -x_63 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_63, 0, x_62); -lean_ctor_set(x_63, 1, x_61); -x_64 = lean_array_push(x_21, x_63); -x_65 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_65, 0, x_41); -lean_ctor_set(x_65, 1, x_64); -x_66 = l_myMacro____x40_Init_Enum___hyg_33____closed__55; -x_67 = lean_array_push(x_66, x_65); -x_68 = l_myMacro____x40_Init_Enum___hyg_33____closed__42; -x_69 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_69, 0, x_68); -lean_ctor_set(x_69, 1, x_67); -x_70 = l_myMacro____x40_Init_Enum___hyg_33____closed__56; -x_71 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_71, 0, x_15); -lean_ctor_set(x_71, 1, x_70); -x_72 = l_myMacro____x40_Init_Enum___hyg_33____closed__58; -x_73 = lean_array_push(x_72, x_34); -x_74 = lean_array_push(x_73, x_42); -x_75 = lean_array_push(x_74, x_27); -x_76 = lean_array_push(x_75, x_69); -x_77 = lean_array_push(x_76, x_27); -x_78 = lean_array_push(x_77, x_71); -x_79 = l_myMacro____x40_Init_Enum___hyg_33____closed__35; -x_80 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_80, 0, x_79); -lean_ctor_set(x_80, 1, x_78); -x_81 = lean_array_push(x_21, x_80); -x_82 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_82, 0, x_41); -lean_ctor_set(x_82, 1, x_81); -x_83 = lean_array_push(x_21, x_82); -x_84 = l_myMacro____x40_Init_Enum___hyg_33____closed__33; -x_85 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_85, 0, x_84); -lean_ctor_set(x_85, 1, x_83); -x_86 = l_myMacro____x40_Init_Enum___hyg_33____closed__59; -x_87 = lean_array_push(x_86, x_32); -x_88 = lean_array_push(x_87, x_27); -x_89 = lean_array_push(x_88, x_85); -x_90 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_90, 0, x_41); -lean_ctor_set(x_90, 1, x_89); -x_91 = l_myMacro____x40_Init_Enum___hyg_33____closed__57; -x_92 = lean_array_push(x_91, x_24); -x_93 = lean_array_push(x_92, x_30); -x_94 = lean_array_push(x_93, x_27); -x_95 = lean_array_push(x_94, x_27); -x_96 = lean_array_push(x_95, x_27); -x_97 = lean_array_push(x_96, x_90); -x_98 = l_myMacro____x40_Init_Enum___hyg_33____closed__63; -x_99 = lean_array_push(x_97, x_98); -x_100 = l_myMacro____x40_Init_Enum___hyg_33____closed__24; -x_101 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_101, 0, x_100); -lean_ctor_set(x_101, 1, x_99); -x_102 = l_myMacro____x40_Init_Enum___hyg_33____closed__64; -x_103 = lean_array_push(x_102, x_101); -x_104 = l_myMacro____x40_Init_Enum___hyg_33____closed__8; -x_105 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_105, 0, x_104); -lean_ctor_set(x_105, 1, x_103); -lean_inc(x_2); -x_106 = l_Lean_MonadRef_mkInfoFromRefPos___at_myMacro____x40_Init_Notation___hyg_72____spec__1(x_2, x_16); -x_107 = lean_ctor_get(x_106, 0); -lean_inc(x_107); -x_108 = lean_ctor_get(x_106, 1); -lean_inc(x_108); -lean_dec(x_106); -x_109 = l_myMacro____x40_Init_Enum___hyg_33____closed__65; -lean_inc(x_107); -x_110 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_110, 0, x_107); -lean_ctor_set(x_110, 1, x_109); -x_111 = l_myMacro____x40_Init_Enum___hyg_33____closed__67; -lean_inc(x_107); -x_112 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_112, 0, x_107); -lean_ctor_set(x_112, 1, x_111); -x_113 = l_myMacro____x40_Init_Enum___hyg_33____closed__71; -lean_inc(x_17); -lean_inc(x_18); -x_114 = l_Lean_addMacroScope(x_18, x_113, x_17); -x_115 = l_myMacro____x40_Init_Enum___hyg_33____closed__70; -x_116 = l_myMacro____x40_Init_Enum___hyg_33____closed__73; -lean_inc(x_107); -x_117 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_117, 0, x_107); -lean_ctor_set(x_117, 1, x_115); -lean_ctor_set(x_117, 2, x_114); -lean_ctor_set(x_117, 3, x_116); -x_118 = lean_array_push(x_25, x_117); -x_119 = lean_array_push(x_118, x_27); -x_120 = l_commandEnum____Where_x7c_______closed__17; -x_121 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_121, 0, x_120); -lean_ctor_set(x_121, 1, x_119); -x_122 = l_myMacro____x40_Init_Enum___hyg_33____closed__74; -lean_inc(x_107); -x_123 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_123, 0, x_107); -lean_ctor_set(x_123, 1, x_122); -x_124 = l_myMacro____x40_Init_Enum___hyg_33____closed__78; -lean_inc(x_17); -lean_inc(x_18); -x_125 = l_Lean_addMacroScope(x_18, x_124, x_17); -x_126 = l_myMacro____x40_Init_Enum___hyg_33____closed__77; -x_127 = l_myMacro____x40_Init_Enum___hyg_33____closed__80; -lean_inc(x_107); -x_128 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_128, 0, x_107); -lean_ctor_set(x_128, 1, x_126); -lean_ctor_set(x_128, 2, x_125); -lean_ctor_set(x_128, 3, x_127); -x_129 = lean_array_push(x_25, x_128); -x_130 = lean_array_push(x_129, x_27); -x_131 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_131, 0, x_120); -lean_ctor_set(x_131, 1, x_130); -x_132 = l_myMacro____x40_Init_Enum___hyg_33____closed__84; -lean_inc(x_17); -lean_inc(x_18); -x_133 = l_Lean_addMacroScope(x_18, x_132, x_17); -x_134 = l_myMacro____x40_Init_Enum___hyg_33____closed__83; -x_135 = l_myMacro____x40_Init_Enum___hyg_33____closed__86; -lean_inc(x_107); -x_136 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_136, 0, x_107); -lean_ctor_set(x_136, 1, x_134); -lean_ctor_set(x_136, 2, x_133); -lean_ctor_set(x_136, 3, x_135); -x_137 = lean_array_push(x_25, x_136); -x_138 = lean_array_push(x_137, x_27); -x_139 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_139, 0, x_120); -lean_ctor_set(x_139, 1, x_138); -x_140 = l_myMacro____x40_Init_Enum___hyg_33____closed__87; -x_141 = lean_array_push(x_140, x_121); -lean_inc(x_123); -x_142 = lean_array_push(x_141, x_123); -x_143 = lean_array_push(x_142, x_131); -x_144 = lean_array_push(x_143, x_123); -x_145 = lean_array_push(x_144, x_139); -x_146 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_146, 0, x_41); -lean_ctor_set(x_146, 1, x_145); -x_147 = l_myMacro____x40_Init_Enum___hyg_33____closed__88; -x_148 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_148, 0, x_107); -lean_ctor_set(x_148, 1, x_147); -lean_inc(x_9); -x_149 = lean_array_push(x_21, x_9); -x_150 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_150, 0, x_41); -lean_ctor_set(x_150, 1, x_149); -x_151 = lean_array_push(x_140, x_110); -x_152 = lean_array_push(x_151, x_112); -x_153 = lean_array_push(x_152, x_146); -x_154 = lean_array_push(x_153, x_148); -lean_inc(x_150); -x_155 = lean_array_push(x_154, x_150); -x_156 = l_myMacro____x40_Init_Enum___hyg_33____closed__66; -x_157 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_157, 0, x_156); -lean_ctor_set(x_157, 1, x_155); -lean_inc(x_2); -x_158 = l_Lean_Macro_getCurrNamespace(x_2, x_108); -if (lean_obj_tag(x_158) == 0) -{ -lean_object* x_159; lean_object* x_160; lean_object* x_161; lean_object* x_162; lean_object* x_163; lean_object* x_164; size_t x_165; size_t x_166; lean_object* x_167; lean_object* x_168; lean_object* x_169; lean_object* x_170; lean_object* x_171; lean_object* x_172; lean_object* x_173; lean_object* x_174; lean_object* x_175; lean_object* x_176; lean_object* x_177; lean_object* x_178; lean_object* x_179; lean_object* x_180; lean_object* x_181; lean_object* x_182; -x_159 = lean_ctor_get(x_158, 0); -lean_inc(x_159); -x_160 = lean_ctor_get(x_158, 1); -lean_inc(x_160); -lean_dec(x_158); -x_161 = lean_unsigned_to_nat(0u); -lean_inc(x_13); -x_162 = lean_alloc_ctor(0, 3, 0); -lean_ctor_set(x_162, 0, x_161); -lean_ctor_set(x_162, 1, x_13); -lean_ctor_set(x_162, 2, x_8); -x_163 = l_myMacro____x40_Init_Enum___hyg_33____closed__13; -x_164 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_164, 0, x_162); -lean_ctor_set(x_164, 1, x_163); -x_165 = lean_usize_of_nat(x_13); -lean_dec(x_13); -x_166 = 0; -x_167 = l_myMacro____x40_Init_Enum___hyg_33____closed__4; -x_168 = l_myMacro____x40_Init_Enum___hyg_33____closed__6; -x_169 = l_myMacro____x40_Init_Enum___hyg_33____closed__10; -x_170 = l_myMacro____x40_Init_Enum___hyg_33____closed__16; -x_171 = l_myMacro____x40_Init_Enum___hyg_33____closed__44; -x_172 = l_myMacro____x40_Init_Enum___hyg_33____closed__62; -lean_inc(x_2); -lean_inc(x_9); -x_173 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1(x_9, x_167, x_168, x_104, x_169, x_41, x_27, x_170, x_21, x_29, x_25, x_37, x_68, x_171, x_62, x_66, x_86, x_172, x_12, x_165, x_166, x_164, x_2, x_160); -x_174 = lean_ctor_get(x_173, 0); -lean_inc(x_174); -x_175 = lean_ctor_get(x_173, 1); -lean_inc(x_175); -lean_dec(x_173); -x_176 = lean_ctor_get(x_174, 1); -lean_inc(x_176); -lean_dec(x_174); -x_177 = x_12; -x_178 = lean_box_usize(x_165); -x_179 = l_myMacro____x40_Init_Enum___hyg_33____boxed__const__1; -x_180 = lean_alloc_closure((void*)(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___boxed), 13, 11); -lean_closure_set(x_180, 0, x_9); -lean_closure_set(x_180, 1, x_41); -lean_closure_set(x_180, 2, x_21); -lean_closure_set(x_180, 3, x_25); -lean_closure_set(x_180, 4, x_37); -lean_closure_set(x_180, 5, x_58); -lean_closure_set(x_180, 6, x_37); -lean_closure_set(x_180, 7, x_159); -lean_closure_set(x_180, 8, x_178); -lean_closure_set(x_180, 9, x_179); -lean_closure_set(x_180, 10, x_177); -x_181 = x_180; -lean_inc(x_2); -x_182 = lean_apply_2(x_181, x_2, x_175); -if (lean_obj_tag(x_182) == 0) -{ -lean_object* x_183; lean_object* x_184; lean_object* x_185; uint8_t x_186; -x_183 = lean_ctor_get(x_182, 0); -lean_inc(x_183); -x_184 = lean_ctor_get(x_182, 1); -lean_inc(x_184); -lean_dec(x_182); -x_185 = l_Lean_MonadRef_mkInfoFromRefPos___at_myMacro____x40_Init_Notation___hyg_72____spec__1(x_2, x_184); -x_186 = !lean_is_exclusive(x_185); -if (x_186 == 0) -{ -lean_object* x_187; lean_object* x_188; lean_object* x_189; lean_object* x_190; lean_object* x_191; lean_object* x_192; lean_object* x_193; lean_object* x_194; lean_object* x_195; lean_object* x_196; lean_object* x_197; lean_object* x_198; lean_object* x_199; lean_object* x_200; lean_object* x_201; lean_object* x_202; lean_object* x_203; lean_object* x_204; lean_object* x_205; lean_object* x_206; lean_object* x_207; lean_object* x_208; lean_object* x_209; lean_object* x_210; lean_object* x_211; lean_object* x_212; lean_object* x_213; lean_object* x_214; lean_object* x_215; lean_object* x_216; lean_object* x_217; lean_object* x_218; lean_object* x_219; lean_object* x_220; lean_object* x_221; lean_object* x_222; lean_object* x_223; lean_object* x_224; lean_object* x_225; lean_object* x_226; lean_object* x_227; lean_object* x_228; lean_object* x_229; lean_object* x_230; lean_object* x_231; lean_object* x_232; lean_object* x_233; lean_object* x_234; lean_object* x_235; lean_object* x_236; lean_object* x_237; lean_object* x_238; lean_object* x_239; lean_object* x_240; lean_object* x_241; lean_object* x_242; lean_object* x_243; lean_object* x_244; lean_object* x_245; lean_object* x_246; lean_object* x_247; lean_object* x_248; lean_object* x_249; lean_object* x_250; lean_object* x_251; lean_object* x_252; lean_object* x_253; lean_object* x_254; lean_object* x_255; lean_object* x_256; lean_object* x_257; lean_object* x_258; lean_object* x_259; lean_object* x_260; lean_object* x_261; lean_object* x_262; lean_object* x_263; lean_object* x_264; lean_object* x_265; lean_object* x_266; lean_object* x_267; lean_object* x_268; lean_object* x_269; lean_object* x_270; lean_object* x_271; lean_object* x_272; lean_object* x_273; lean_object* x_274; lean_object* x_275; lean_object* x_276; lean_object* x_277; lean_object* x_278; lean_object* x_279; lean_object* x_280; lean_object* x_281; lean_object* x_282; lean_object* x_283; lean_object* x_284; lean_object* x_285; lean_object* x_286; lean_object* x_287; lean_object* x_288; lean_object* x_289; lean_object* x_290; lean_object* x_291; lean_object* x_292; lean_object* x_293; lean_object* x_294; lean_object* x_295; lean_object* x_296; lean_object* x_297; lean_object* x_298; lean_object* x_299; lean_object* x_300; lean_object* x_301; lean_object* x_302; lean_object* x_303; lean_object* x_304; lean_object* x_305; lean_object* x_306; lean_object* x_307; lean_object* x_308; lean_object* x_309; lean_object* x_310; lean_object* x_311; lean_object* x_312; lean_object* x_313; lean_object* x_314; lean_object* x_315; lean_object* x_316; lean_object* x_317; lean_object* x_318; lean_object* x_319; lean_object* x_320; lean_object* x_321; lean_object* x_322; lean_object* x_323; lean_object* x_324; lean_object* x_325; lean_object* x_326; lean_object* x_327; lean_object* x_328; lean_object* x_329; lean_object* x_330; lean_object* x_331; lean_object* x_332; lean_object* x_333; lean_object* x_334; lean_object* x_335; lean_object* x_336; lean_object* x_337; lean_object* x_338; lean_object* x_339; lean_object* x_340; lean_object* x_341; -x_187 = lean_ctor_get(x_185, 0); -x_188 = l_myMacro____x40_Init_Enum___hyg_33____closed__89; -lean_inc(x_187); -x_189 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_189, 0, x_187); -lean_ctor_set(x_189, 1, x_188); -x_190 = l_myMacro____x40_Init_Enum___hyg_33____closed__94; -lean_inc(x_17); -lean_inc(x_18); -x_191 = l_Lean_addMacroScope(x_18, x_190, x_17); -x_192 = l_myMacro____x40_Init_Enum___hyg_33____closed__93; -lean_inc(x_187); -x_193 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_193, 0, x_187); -lean_ctor_set(x_193, 1, x_192); -lean_ctor_set(x_193, 2, x_191); -lean_ctor_set(x_193, 3, x_37); -lean_inc(x_193); -x_194 = lean_array_push(x_25, x_193); -x_195 = lean_array_push(x_194, x_27); -x_196 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_196, 0, x_29); -lean_ctor_set(x_196, 1, x_195); -lean_inc(x_187); -x_197 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_197, 0, x_187); -lean_ctor_set(x_197, 1, x_43); -x_198 = l_myMacro____x40_Init_Enum___hyg_33____closed__98; -lean_inc(x_17); -lean_inc(x_18); -x_199 = l_Lean_addMacroScope(x_18, x_198, x_17); -x_200 = l_myMacro____x40_Init_Enum___hyg_33____closed__97; -x_201 = l_myMacro____x40_Init_Enum___hyg_33____closed__100; -lean_inc(x_187); -x_202 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_202, 0, x_187); -lean_ctor_set(x_202, 1, x_200); -lean_ctor_set(x_202, 2, x_199); -lean_ctor_set(x_202, 3, x_201); -x_203 = l_myMacro____x40_Init_Enum___hyg_33____closed__105; -lean_inc(x_17); -lean_inc(x_18); -x_204 = l_Lean_addMacroScope(x_18, x_203, x_17); -x_205 = l_myMacro____x40_Init_Enum___hyg_33____closed__103; -x_206 = l_myMacro____x40_Init_Enum___hyg_33____closed__107; -lean_inc(x_187); -x_207 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_207, 0, x_187); -lean_ctor_set(x_207, 1, x_205); -lean_ctor_set(x_207, 2, x_204); -lean_ctor_set(x_207, 3, x_206); -x_208 = lean_array_push(x_21, x_207); -x_209 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_209, 0, x_41); -lean_ctor_set(x_209, 1, x_208); -x_210 = lean_array_push(x_25, x_202); -x_211 = lean_array_push(x_210, x_209); -x_212 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_212, 0, x_58); -lean_ctor_set(x_212, 1, x_211); -x_213 = lean_array_push(x_25, x_197); -lean_inc(x_213); -x_214 = lean_array_push(x_213, x_212); -x_215 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_215, 0, x_62); -lean_ctor_set(x_215, 1, x_214); -x_216 = lean_array_push(x_21, x_215); -x_217 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_217, 0, x_41); -lean_ctor_set(x_217, 1, x_216); -x_218 = lean_array_push(x_66, x_217); -x_219 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_219, 0, x_68); -lean_ctor_set(x_219, 1, x_218); -x_220 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__15; -lean_inc(x_187); -x_221 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_221, 0, x_187); -lean_ctor_set(x_221, 1, x_220); -x_222 = l_myMacro____x40_Init_Enum___hyg_33____closed__113; -lean_inc(x_187); -x_223 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_223, 0, x_187); -lean_ctor_set(x_223, 1, x_222); -x_224 = l_Lean_Syntax_SepArray_ofElems(x_122, x_183); -lean_dec(x_183); -x_225 = l_Array_append___rarg(x_163, x_224); -x_226 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_226, 0, x_41); -lean_ctor_set(x_226, 1, x_225); -x_227 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__11; -lean_inc(x_187); -x_228 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_228, 0, x_187); -lean_ctor_set(x_228, 1, x_227); -lean_inc(x_223); -x_229 = lean_array_push(x_86, x_223); -x_230 = lean_array_push(x_229, x_226); -lean_inc(x_228); -x_231 = lean_array_push(x_230, x_228); -x_232 = l_myMacro____x40_Init_Enum___hyg_33____closed__112; -x_233 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_233, 0, x_232); -lean_ctor_set(x_233, 1, x_231); -x_234 = l_myMacro____x40_Init_Enum___hyg_33____closed__114; -lean_inc(x_187); -x_235 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_235, 0, x_187); -lean_ctor_set(x_235, 1, x_234); -x_236 = l_myMacro____x40_Init_Enum___hyg_33____closed__118; -lean_inc(x_17); -lean_inc(x_18); -x_237 = l_Lean_addMacroScope(x_18, x_236, x_17); -x_238 = l_myMacro____x40_Init_Enum___hyg_33____closed__117; -lean_inc(x_187); -x_239 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_239, 0, x_187); -lean_ctor_set(x_239, 1, x_238); -lean_ctor_set(x_239, 2, x_237); -lean_ctor_set(x_239, 3, x_37); -x_240 = lean_array_push(x_86, x_233); -x_241 = lean_array_push(x_240, x_235); -x_242 = lean_array_push(x_241, x_239); -x_243 = l_myMacro____x40_Init_Enum___hyg_33____closed__110; -x_244 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_244, 0, x_243); -lean_ctor_set(x_244, 1, x_242); -x_245 = lean_array_push(x_86, x_221); -lean_inc(x_245); -x_246 = lean_array_push(x_245, x_244); -x_247 = lean_array_push(x_246, x_27); -x_248 = l_myMacro____x40_Init_Enum___hyg_33____closed__108; -x_249 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_249, 0, x_248); -lean_ctor_set(x_249, 1, x_247); -x_250 = lean_array_push(x_140, x_189); -x_251 = lean_array_push(x_250, x_196); -x_252 = lean_array_push(x_251, x_219); -x_253 = lean_array_push(x_252, x_249); -x_254 = lean_array_push(x_253, x_27); -x_255 = l_myMacro____x40_Init_Enum___hyg_33____closed__90; -x_256 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_256, 0, x_255); -lean_ctor_set(x_256, 1, x_254); -x_257 = lean_array_push(x_102, x_256); -x_258 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_258, 0, x_104); -lean_ctor_set(x_258, 1, x_257); -lean_inc(x_187); -x_259 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_259, 0, x_187); -lean_ctor_set(x_259, 1, x_111); -x_260 = l_myMacro____x40_Init_Enum___hyg_33____closed__127; -lean_inc(x_17); -lean_inc(x_18); -x_261 = l_Lean_addMacroScope(x_18, x_260, x_17); -x_262 = l_myMacro____x40_Init_Enum___hyg_33____closed__126; -x_263 = l_myMacro____x40_Init_Enum___hyg_33____closed__129; -lean_inc(x_187); -x_264 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_264, 0, x_187); -lean_ctor_set(x_264, 1, x_262); -lean_ctor_set(x_264, 2, x_261); -lean_ctor_set(x_264, 3, x_263); -x_265 = lean_array_push(x_25, x_264); -x_266 = lean_array_push(x_265, x_150); -x_267 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_267, 0, x_58); -lean_ctor_set(x_267, 1, x_266); -x_268 = lean_array_push(x_213, x_267); -x_269 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_269, 0, x_62); -lean_ctor_set(x_269, 1, x_268); -x_270 = lean_array_push(x_66, x_269); -x_271 = l_myMacro____x40_Init_Enum___hyg_33____closed__123; -x_272 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_272, 0, x_271); -lean_ctor_set(x_272, 1, x_270); -x_273 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__17; -lean_inc(x_187); -x_274 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_274, 0, x_187); -lean_ctor_set(x_274, 1, x_273); -x_275 = l_myMacro____x40_Init_Enum___hyg_33____closed__131; -lean_inc(x_187); -x_276 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_276, 0, x_187); -lean_ctor_set(x_276, 1, x_275); -x_277 = l_myMacro____x40_Init_Enum___hyg_33____closed__138; -lean_inc(x_17); -lean_inc(x_18); -x_278 = l_Lean_addMacroScope(x_18, x_277, x_17); -x_279 = l_myMacro____x40_Init_Enum___hyg_33____closed__137; -lean_inc(x_187); -x_280 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_280, 0, x_187); -lean_ctor_set(x_280, 1, x_279); -lean_ctor_set(x_280, 2, x_278); -lean_ctor_set(x_280, 3, x_37); -x_281 = l_myMacro____x40_Init_Enum___hyg_33____closed__141; -lean_inc(x_187); -x_282 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_282, 0, x_187); -lean_ctor_set(x_282, 1, x_281); -x_283 = lean_array_push(x_21, x_282); -x_284 = l_myMacro____x40_Init_Enum___hyg_33____closed__140; -x_285 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_285, 0, x_284); -lean_ctor_set(x_285, 1, x_283); -x_286 = lean_array_push(x_25, x_280); -x_287 = lean_array_push(x_286, x_285); -x_288 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_288, 0, x_41); -lean_ctor_set(x_288, 1, x_287); -x_289 = l_myMacro____x40_Init_Enum___hyg_33____closed__142; -lean_inc(x_187); -x_290 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_290, 0, x_187); -lean_ctor_set(x_290, 1, x_289); -x_291 = l_myMacro____x40_Init_Enum___hyg_33____closed__149; -x_292 = l_Lean_addMacroScope(x_18, x_291, x_17); -x_293 = l_myMacro____x40_Init_Enum___hyg_33____closed__147; -lean_inc(x_187); -x_294 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_294, 0, x_187); -lean_ctor_set(x_294, 1, x_293); -lean_ctor_set(x_294, 2, x_292); -lean_ctor_set(x_294, 3, x_37); -x_295 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__19; -x_296 = lean_array_push(x_295, x_193); -x_297 = lean_array_push(x_296, x_223); -x_298 = lean_array_push(x_297, x_294); -x_299 = lean_array_push(x_298, x_228); -x_300 = l_myMacro____x40_Init_Enum___hyg_33____closed__144; -x_301 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_301, 0, x_300); -lean_ctor_set(x_301, 1, x_299); -x_302 = lean_array_push(x_86, x_288); -x_303 = lean_array_push(x_302, x_290); -x_304 = lean_array_push(x_303, x_301); -x_305 = l_myMacro____x40_Init_Enum___hyg_33____closed__134; -x_306 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_306, 0, x_305); -lean_ctor_set(x_306, 1, x_304); -x_307 = lean_array_push(x_25, x_276); -x_308 = lean_array_push(x_307, x_306); -x_309 = l_myMacro____x40_Init_Enum___hyg_33____closed__132; -x_310 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_310, 0, x_309); -lean_ctor_set(x_310, 1, x_308); -x_311 = lean_array_push(x_21, x_310); -x_312 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_312, 0, x_41); -lean_ctor_set(x_312, 1, x_311); -x_313 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__18; -x_314 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_314, 0, x_187); -lean_ctor_set(x_314, 1, x_313); -x_315 = lean_array_push(x_86, x_274); -x_316 = lean_array_push(x_315, x_312); -x_317 = lean_array_push(x_316, x_314); -x_318 = l_myMacro____x40_Init_Enum___hyg_33____closed__130; -x_319 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_319, 0, x_318); -lean_ctor_set(x_319, 1, x_317); -x_320 = lean_array_push(x_245, x_319); -x_321 = lean_array_push(x_320, x_27); -x_322 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_322, 0, x_248); -lean_ctor_set(x_322, 1, x_321); -x_323 = l_myMacro____x40_Init_Enum___hyg_33____closed__150; -x_324 = lean_array_push(x_323, x_259); -x_325 = lean_array_push(x_324, x_27); -x_326 = lean_array_push(x_325, x_27); -x_327 = lean_array_push(x_326, x_272); -x_328 = lean_array_push(x_327, x_322); -x_329 = l_myMacro____x40_Init_Enum___hyg_33____closed__119; -x_330 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_330, 0, x_329); -lean_ctor_set(x_330, 1, x_328); -x_331 = lean_array_push(x_102, x_330); -x_332 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_332, 0, x_104); -lean_ctor_set(x_332, 1, x_331); -x_333 = lean_array_push(x_25, x_258); -x_334 = lean_array_push(x_333, x_332); -x_335 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_335, 0, x_41); -lean_ctor_set(x_335, 1, x_334); -x_336 = lean_array_push(x_86, x_105); -x_337 = lean_array_push(x_336, x_157); -x_338 = lean_array_push(x_337, x_335); -x_339 = l_Array_append___rarg(x_338, x_176); -x_340 = l_Lean_nullKind; -x_341 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_341, 0, x_340); -lean_ctor_set(x_341, 1, x_339); -lean_ctor_set(x_185, 0, x_341); -return x_185; -} -else -{ -lean_object* x_342; lean_object* x_343; lean_object* x_344; lean_object* x_345; lean_object* x_346; lean_object* x_347; lean_object* x_348; lean_object* x_349; lean_object* x_350; lean_object* x_351; lean_object* x_352; lean_object* x_353; lean_object* x_354; lean_object* x_355; lean_object* x_356; lean_object* x_357; lean_object* x_358; lean_object* x_359; lean_object* x_360; lean_object* x_361; lean_object* x_362; lean_object* x_363; lean_object* x_364; lean_object* x_365; lean_object* x_366; lean_object* x_367; lean_object* x_368; lean_object* x_369; lean_object* x_370; lean_object* x_371; lean_object* x_372; lean_object* x_373; lean_object* x_374; lean_object* x_375; lean_object* x_376; lean_object* x_377; lean_object* x_378; lean_object* x_379; lean_object* x_380; lean_object* x_381; lean_object* x_382; lean_object* x_383; lean_object* x_384; lean_object* x_385; lean_object* x_386; lean_object* x_387; lean_object* x_388; lean_object* x_389; lean_object* x_390; lean_object* x_391; lean_object* x_392; lean_object* x_393; lean_object* x_394; lean_object* x_395; lean_object* x_396; lean_object* x_397; lean_object* x_398; lean_object* x_399; lean_object* x_400; lean_object* x_401; lean_object* x_402; lean_object* x_403; lean_object* x_404; lean_object* x_405; lean_object* x_406; lean_object* x_407; lean_object* x_408; lean_object* x_409; lean_object* x_410; lean_object* x_411; lean_object* x_412; lean_object* x_413; lean_object* x_414; lean_object* x_415; lean_object* x_416; lean_object* x_417; lean_object* x_418; lean_object* x_419; lean_object* x_420; lean_object* x_421; lean_object* x_422; lean_object* x_423; lean_object* x_424; lean_object* x_425; lean_object* x_426; lean_object* x_427; lean_object* x_428; lean_object* x_429; lean_object* x_430; lean_object* x_431; lean_object* x_432; lean_object* x_433; lean_object* x_434; lean_object* x_435; lean_object* x_436; lean_object* x_437; lean_object* x_438; lean_object* x_439; lean_object* x_440; lean_object* x_441; lean_object* x_442; lean_object* x_443; lean_object* x_444; lean_object* x_445; lean_object* x_446; lean_object* x_447; lean_object* x_448; lean_object* x_449; lean_object* x_450; lean_object* x_451; lean_object* x_452; lean_object* x_453; lean_object* x_454; lean_object* x_455; lean_object* x_456; lean_object* x_457; lean_object* x_458; lean_object* x_459; lean_object* x_460; lean_object* x_461; lean_object* x_462; lean_object* x_463; lean_object* x_464; lean_object* x_465; lean_object* x_466; lean_object* x_467; lean_object* x_468; lean_object* x_469; lean_object* x_470; lean_object* x_471; lean_object* x_472; lean_object* x_473; lean_object* x_474; lean_object* x_475; lean_object* x_476; lean_object* x_477; lean_object* x_478; lean_object* x_479; lean_object* x_480; lean_object* x_481; lean_object* x_482; lean_object* x_483; lean_object* x_484; lean_object* x_485; lean_object* x_486; lean_object* x_487; lean_object* x_488; lean_object* x_489; lean_object* x_490; lean_object* x_491; lean_object* x_492; lean_object* x_493; lean_object* x_494; lean_object* x_495; lean_object* x_496; lean_object* x_497; lean_object* x_498; -x_342 = lean_ctor_get(x_185, 0); -x_343 = lean_ctor_get(x_185, 1); -lean_inc(x_343); -lean_inc(x_342); -lean_dec(x_185); -x_344 = l_myMacro____x40_Init_Enum___hyg_33____closed__89; -lean_inc(x_342); -x_345 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_345, 0, x_342); -lean_ctor_set(x_345, 1, x_344); -x_346 = l_myMacro____x40_Init_Enum___hyg_33____closed__94; -lean_inc(x_17); -lean_inc(x_18); -x_347 = l_Lean_addMacroScope(x_18, x_346, x_17); -x_348 = l_myMacro____x40_Init_Enum___hyg_33____closed__93; -lean_inc(x_342); -x_349 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_349, 0, x_342); -lean_ctor_set(x_349, 1, x_348); -lean_ctor_set(x_349, 2, x_347); -lean_ctor_set(x_349, 3, x_37); -lean_inc(x_349); -x_350 = lean_array_push(x_25, x_349); -x_351 = lean_array_push(x_350, x_27); -x_352 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_352, 0, x_29); -lean_ctor_set(x_352, 1, x_351); -lean_inc(x_342); -x_353 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_353, 0, x_342); -lean_ctor_set(x_353, 1, x_43); -x_354 = l_myMacro____x40_Init_Enum___hyg_33____closed__98; -lean_inc(x_17); -lean_inc(x_18); -x_355 = l_Lean_addMacroScope(x_18, x_354, x_17); -x_356 = l_myMacro____x40_Init_Enum___hyg_33____closed__97; -x_357 = l_myMacro____x40_Init_Enum___hyg_33____closed__100; -lean_inc(x_342); -x_358 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_358, 0, x_342); -lean_ctor_set(x_358, 1, x_356); -lean_ctor_set(x_358, 2, x_355); -lean_ctor_set(x_358, 3, x_357); -x_359 = l_myMacro____x40_Init_Enum___hyg_33____closed__105; -lean_inc(x_17); -lean_inc(x_18); -x_360 = l_Lean_addMacroScope(x_18, x_359, x_17); -x_361 = l_myMacro____x40_Init_Enum___hyg_33____closed__103; -x_362 = l_myMacro____x40_Init_Enum___hyg_33____closed__107; -lean_inc(x_342); -x_363 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_363, 0, x_342); -lean_ctor_set(x_363, 1, x_361); -lean_ctor_set(x_363, 2, x_360); -lean_ctor_set(x_363, 3, x_362); -x_364 = lean_array_push(x_21, x_363); -x_365 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_365, 0, x_41); -lean_ctor_set(x_365, 1, x_364); -x_366 = lean_array_push(x_25, x_358); -x_367 = lean_array_push(x_366, x_365); -x_368 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_368, 0, x_58); -lean_ctor_set(x_368, 1, x_367); -x_369 = lean_array_push(x_25, x_353); -lean_inc(x_369); -x_370 = lean_array_push(x_369, x_368); -x_371 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_371, 0, x_62); -lean_ctor_set(x_371, 1, x_370); -x_372 = lean_array_push(x_21, x_371); -x_373 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_373, 0, x_41); -lean_ctor_set(x_373, 1, x_372); -x_374 = lean_array_push(x_66, x_373); -x_375 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_375, 0, x_68); -lean_ctor_set(x_375, 1, x_374); -x_376 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__15; -lean_inc(x_342); -x_377 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_377, 0, x_342); -lean_ctor_set(x_377, 1, x_376); -x_378 = l_myMacro____x40_Init_Enum___hyg_33____closed__113; -lean_inc(x_342); -x_379 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_379, 0, x_342); -lean_ctor_set(x_379, 1, x_378); -x_380 = l_Lean_Syntax_SepArray_ofElems(x_122, x_183); -lean_dec(x_183); -x_381 = l_Array_append___rarg(x_163, x_380); -x_382 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_382, 0, x_41); -lean_ctor_set(x_382, 1, x_381); -x_383 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__11; -lean_inc(x_342); -x_384 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_384, 0, x_342); -lean_ctor_set(x_384, 1, x_383); -lean_inc(x_379); -x_385 = lean_array_push(x_86, x_379); -x_386 = lean_array_push(x_385, x_382); -lean_inc(x_384); -x_387 = lean_array_push(x_386, x_384); -x_388 = l_myMacro____x40_Init_Enum___hyg_33____closed__112; -x_389 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_389, 0, x_388); -lean_ctor_set(x_389, 1, x_387); -x_390 = l_myMacro____x40_Init_Enum___hyg_33____closed__114; -lean_inc(x_342); -x_391 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_391, 0, x_342); -lean_ctor_set(x_391, 1, x_390); -x_392 = l_myMacro____x40_Init_Enum___hyg_33____closed__118; -lean_inc(x_17); -lean_inc(x_18); -x_393 = l_Lean_addMacroScope(x_18, x_392, x_17); -x_394 = l_myMacro____x40_Init_Enum___hyg_33____closed__117; -lean_inc(x_342); -x_395 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_395, 0, x_342); -lean_ctor_set(x_395, 1, x_394); -lean_ctor_set(x_395, 2, x_393); -lean_ctor_set(x_395, 3, x_37); -x_396 = lean_array_push(x_86, x_389); -x_397 = lean_array_push(x_396, x_391); -x_398 = lean_array_push(x_397, x_395); -x_399 = l_myMacro____x40_Init_Enum___hyg_33____closed__110; -x_400 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_400, 0, x_399); -lean_ctor_set(x_400, 1, x_398); -x_401 = lean_array_push(x_86, x_377); -lean_inc(x_401); -x_402 = lean_array_push(x_401, x_400); -x_403 = lean_array_push(x_402, x_27); -x_404 = l_myMacro____x40_Init_Enum___hyg_33____closed__108; -x_405 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_405, 0, x_404); -lean_ctor_set(x_405, 1, x_403); -x_406 = lean_array_push(x_140, x_345); -x_407 = lean_array_push(x_406, x_352); -x_408 = lean_array_push(x_407, x_375); -x_409 = lean_array_push(x_408, x_405); -x_410 = lean_array_push(x_409, x_27); -x_411 = l_myMacro____x40_Init_Enum___hyg_33____closed__90; -x_412 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_412, 0, x_411); -lean_ctor_set(x_412, 1, x_410); -x_413 = lean_array_push(x_102, x_412); -x_414 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_414, 0, x_104); -lean_ctor_set(x_414, 1, x_413); -lean_inc(x_342); -x_415 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_415, 0, x_342); -lean_ctor_set(x_415, 1, x_111); -x_416 = l_myMacro____x40_Init_Enum___hyg_33____closed__127; -lean_inc(x_17); -lean_inc(x_18); -x_417 = l_Lean_addMacroScope(x_18, x_416, x_17); -x_418 = l_myMacro____x40_Init_Enum___hyg_33____closed__126; -x_419 = l_myMacro____x40_Init_Enum___hyg_33____closed__129; -lean_inc(x_342); -x_420 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_420, 0, x_342); -lean_ctor_set(x_420, 1, x_418); -lean_ctor_set(x_420, 2, x_417); -lean_ctor_set(x_420, 3, x_419); -x_421 = lean_array_push(x_25, x_420); -x_422 = lean_array_push(x_421, x_150); -x_423 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_423, 0, x_58); -lean_ctor_set(x_423, 1, x_422); -x_424 = lean_array_push(x_369, x_423); -x_425 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_425, 0, x_62); -lean_ctor_set(x_425, 1, x_424); -x_426 = lean_array_push(x_66, x_425); -x_427 = l_myMacro____x40_Init_Enum___hyg_33____closed__123; -x_428 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_428, 0, x_427); -lean_ctor_set(x_428, 1, x_426); -x_429 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__17; -lean_inc(x_342); -x_430 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_430, 0, x_342); -lean_ctor_set(x_430, 1, x_429); -x_431 = l_myMacro____x40_Init_Enum___hyg_33____closed__131; -lean_inc(x_342); -x_432 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_432, 0, x_342); -lean_ctor_set(x_432, 1, x_431); -x_433 = l_myMacro____x40_Init_Enum___hyg_33____closed__138; -lean_inc(x_17); -lean_inc(x_18); -x_434 = l_Lean_addMacroScope(x_18, x_433, x_17); -x_435 = l_myMacro____x40_Init_Enum___hyg_33____closed__137; -lean_inc(x_342); -x_436 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_436, 0, x_342); -lean_ctor_set(x_436, 1, x_435); -lean_ctor_set(x_436, 2, x_434); -lean_ctor_set(x_436, 3, x_37); -x_437 = l_myMacro____x40_Init_Enum___hyg_33____closed__141; -lean_inc(x_342); -x_438 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_438, 0, x_342); -lean_ctor_set(x_438, 1, x_437); -x_439 = lean_array_push(x_21, x_438); -x_440 = l_myMacro____x40_Init_Enum___hyg_33____closed__140; -x_441 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_441, 0, x_440); -lean_ctor_set(x_441, 1, x_439); -x_442 = lean_array_push(x_25, x_436); -x_443 = lean_array_push(x_442, x_441); -x_444 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_444, 0, x_41); -lean_ctor_set(x_444, 1, x_443); -x_445 = l_myMacro____x40_Init_Enum___hyg_33____closed__142; -lean_inc(x_342); -x_446 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_446, 0, x_342); -lean_ctor_set(x_446, 1, x_445); -x_447 = l_myMacro____x40_Init_Enum___hyg_33____closed__149; -x_448 = l_Lean_addMacroScope(x_18, x_447, x_17); -x_449 = l_myMacro____x40_Init_Enum___hyg_33____closed__147; -lean_inc(x_342); -x_450 = lean_alloc_ctor(3, 4, 0); -lean_ctor_set(x_450, 0, x_342); -lean_ctor_set(x_450, 1, x_449); -lean_ctor_set(x_450, 2, x_448); -lean_ctor_set(x_450, 3, x_37); -x_451 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__19; -x_452 = lean_array_push(x_451, x_349); -x_453 = lean_array_push(x_452, x_379); -x_454 = lean_array_push(x_453, x_450); -x_455 = lean_array_push(x_454, x_384); -x_456 = l_myMacro____x40_Init_Enum___hyg_33____closed__144; -x_457 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_457, 0, x_456); -lean_ctor_set(x_457, 1, x_455); -x_458 = lean_array_push(x_86, x_444); -x_459 = lean_array_push(x_458, x_446); -x_460 = lean_array_push(x_459, x_457); -x_461 = l_myMacro____x40_Init_Enum___hyg_33____closed__134; -x_462 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_462, 0, x_461); -lean_ctor_set(x_462, 1, x_460); -x_463 = lean_array_push(x_25, x_432); -x_464 = lean_array_push(x_463, x_462); -x_465 = l_myMacro____x40_Init_Enum___hyg_33____closed__132; -x_466 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_466, 0, x_465); -lean_ctor_set(x_466, 1, x_464); -x_467 = lean_array_push(x_21, x_466); -x_468 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_468, 0, x_41); -lean_ctor_set(x_468, 1, x_467); -x_469 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__18; -x_470 = lean_alloc_ctor(2, 2, 0); -lean_ctor_set(x_470, 0, x_342); -lean_ctor_set(x_470, 1, x_469); -x_471 = lean_array_push(x_86, x_430); -x_472 = lean_array_push(x_471, x_468); -x_473 = lean_array_push(x_472, x_470); -x_474 = l_myMacro____x40_Init_Enum___hyg_33____closed__130; -x_475 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_475, 0, x_474); -lean_ctor_set(x_475, 1, x_473); -x_476 = lean_array_push(x_401, x_475); -x_477 = lean_array_push(x_476, x_27); -x_478 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_478, 0, x_404); -lean_ctor_set(x_478, 1, x_477); -x_479 = l_myMacro____x40_Init_Enum___hyg_33____closed__150; -x_480 = lean_array_push(x_479, x_415); -x_481 = lean_array_push(x_480, x_27); -x_482 = lean_array_push(x_481, x_27); -x_483 = lean_array_push(x_482, x_428); -x_484 = lean_array_push(x_483, x_478); -x_485 = l_myMacro____x40_Init_Enum___hyg_33____closed__119; -x_486 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_486, 0, x_485); -lean_ctor_set(x_486, 1, x_484); -x_487 = lean_array_push(x_102, x_486); -x_488 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_488, 0, x_104); -lean_ctor_set(x_488, 1, x_487); -x_489 = lean_array_push(x_25, x_414); -x_490 = lean_array_push(x_489, x_488); -x_491 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_491, 0, x_41); -lean_ctor_set(x_491, 1, x_490); -x_492 = lean_array_push(x_86, x_105); -x_493 = lean_array_push(x_492, x_157); -x_494 = lean_array_push(x_493, x_491); -x_495 = l_Array_append___rarg(x_494, x_176); -x_496 = l_Lean_nullKind; -x_497 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_497, 0, x_496); -lean_ctor_set(x_497, 1, x_495); -x_498 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_498, 0, x_497); -lean_ctor_set(x_498, 1, x_343); -return x_498; -} -} -else -{ -uint8_t x_499; -lean_dec(x_176); -lean_dec(x_157); -lean_dec(x_150); -lean_dec(x_105); -lean_dec(x_18); -lean_dec(x_17); -lean_dec(x_2); -x_499 = !lean_is_exclusive(x_182); -if (x_499 == 0) -{ -return x_182; -} -else -{ -lean_object* x_500; lean_object* x_501; lean_object* x_502; -x_500 = lean_ctor_get(x_182, 0); -x_501 = lean_ctor_get(x_182, 1); -lean_inc(x_501); -lean_inc(x_500); -lean_dec(x_182); -x_502 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_502, 0, x_500); -lean_ctor_set(x_502, 1, x_501); -return x_502; -} -} -} -else -{ -uint8_t x_503; -lean_dec(x_157); -lean_dec(x_150); -lean_dec(x_105); -lean_dec(x_18); -lean_dec(x_17); -lean_dec(x_13); -lean_dec(x_12); -lean_dec(x_9); -lean_dec(x_2); -x_503 = !lean_is_exclusive(x_158); -if (x_503 == 0) -{ -return x_158; -} -else -{ -lean_object* x_504; lean_object* x_505; lean_object* x_506; -x_504 = lean_ctor_get(x_158, 0); -x_505 = lean_ctor_get(x_158, 1); -lean_inc(x_505); -lean_inc(x_504); -lean_dec(x_158); -x_506 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_506, 0, x_504); -lean_ctor_set(x_506, 1, x_505); -return x_506; -} -} -} -} -} -lean_object* l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___boxed(lean_object** _args) { -lean_object* x_1 = _args[0]; -lean_object* x_2 = _args[1]; -lean_object* x_3 = _args[2]; -lean_object* x_4 = _args[3]; -lean_object* x_5 = _args[4]; -lean_object* x_6 = _args[5]; -lean_object* x_7 = _args[6]; -lean_object* x_8 = _args[7]; -lean_object* x_9 = _args[8]; -lean_object* x_10 = _args[9]; -lean_object* x_11 = _args[10]; -lean_object* x_12 = _args[11]; -lean_object* x_13 = _args[12]; -lean_object* x_14 = _args[13]; -lean_object* x_15 = _args[14]; -lean_object* x_16 = _args[15]; -lean_object* x_17 = _args[16]; -lean_object* x_18 = _args[17]; -lean_object* x_19 = _args[18]; -lean_object* x_20 = _args[19]; -lean_object* x_21 = _args[20]; -lean_object* x_22 = _args[21]; -lean_object* x_23 = _args[22]; -lean_object* x_24 = _args[23]; -_start: -{ -size_t x_25; size_t x_26; lean_object* x_27; -x_25 = lean_unbox_usize(x_20); -lean_dec(x_20); -x_26 = lean_unbox_usize(x_21); -lean_dec(x_21); -x_27 = l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1(x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, x_10, x_11, x_12, x_13, x_14, x_15, x_16, x_17, x_18, x_19, x_25, x_26, x_22, x_23, x_24); -lean_dec(x_19); -return x_27; -} -} -lean_object* l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8, lean_object* x_9, lean_object* x_10, lean_object* x_11, lean_object* x_12, lean_object* x_13) { -_start: -{ -size_t x_14; size_t x_15; lean_object* x_16; -x_14 = lean_unbox_usize(x_9); -lean_dec(x_9); -x_15 = lean_unbox_usize(x_10); -lean_dec(x_10); -x_16 = l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2(x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_14, x_15, x_11, x_12, x_13); -lean_dec(x_8); -lean_dec(x_1); -return x_16; -} -} -lean_object* initialize_Init_NotationExtra(lean_object*); -lean_object* initialize_Init_Data_Range(lean_object*); -lean_object* initialize_Init_Data_Stream(lean_object*); -static bool _G_initialized = false; -lean_object* initialize_Init_Enum(lean_object* w) { -lean_object * res; -if (_G_initialized) return lean_io_result_mk_ok(lean_box(0)); -_G_initialized = true; -res = initialize_Init_NotationExtra(lean_io_mk_world()); -if (lean_io_result_is_error(res)) return res; -lean_dec_ref(res); -res = initialize_Init_Data_Range(lean_io_mk_world()); -if (lean_io_result_is_error(res)) return res; -lean_dec_ref(res); -res = initialize_Init_Data_Stream(lean_io_mk_world()); -if (lean_io_result_is_error(res)) return res; -lean_dec_ref(res); -l_commandEnum____Where_x7c_______closed__1 = _init_l_commandEnum____Where_x7c_______closed__1(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__1); -l_commandEnum____Where_x7c_______closed__2 = _init_l_commandEnum____Where_x7c_______closed__2(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__2); -l_commandEnum____Where_x7c_______closed__3 = _init_l_commandEnum____Where_x7c_______closed__3(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__3); -l_commandEnum____Where_x7c_______closed__4 = _init_l_commandEnum____Where_x7c_______closed__4(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__4); -l_commandEnum____Where_x7c_______closed__5 = _init_l_commandEnum____Where_x7c_______closed__5(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__5); -l_commandEnum____Where_x7c_______closed__6 = _init_l_commandEnum____Where_x7c_______closed__6(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__6); -l_commandEnum____Where_x7c_______closed__7 = _init_l_commandEnum____Where_x7c_______closed__7(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__7); -l_commandEnum____Where_x7c_______closed__8 = _init_l_commandEnum____Where_x7c_______closed__8(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__8); -l_commandEnum____Where_x7c_______closed__9 = _init_l_commandEnum____Where_x7c_______closed__9(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__9); -l_commandEnum____Where_x7c_______closed__10 = _init_l_commandEnum____Where_x7c_______closed__10(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__10); -l_commandEnum____Where_x7c_______closed__11 = _init_l_commandEnum____Where_x7c_______closed__11(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__11); -l_commandEnum____Where_x7c_______closed__12 = _init_l_commandEnum____Where_x7c_______closed__12(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__12); -l_commandEnum____Where_x7c_______closed__13 = _init_l_commandEnum____Where_x7c_______closed__13(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__13); -l_commandEnum____Where_x7c_______closed__14 = _init_l_commandEnum____Where_x7c_______closed__14(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__14); -l_commandEnum____Where_x7c_______closed__15 = _init_l_commandEnum____Where_x7c_______closed__15(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__15); -l_commandEnum____Where_x7c_______closed__16 = _init_l_commandEnum____Where_x7c_______closed__16(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__16); -l_commandEnum____Where_x7c_______closed__17 = _init_l_commandEnum____Where_x7c_______closed__17(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__17); -l_commandEnum____Where_x7c_______closed__18 = _init_l_commandEnum____Where_x7c_______closed__18(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__18); -l_commandEnum____Where_x7c_______closed__19 = _init_l_commandEnum____Where_x7c_______closed__19(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__19); -l_commandEnum____Where_x7c_______closed__20 = _init_l_commandEnum____Where_x7c_______closed__20(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__20); -l_commandEnum____Where_x7c_______closed__21 = _init_l_commandEnum____Where_x7c_______closed__21(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__21); -l_commandEnum____Where_x7c_______closed__22 = _init_l_commandEnum____Where_x7c_______closed__22(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__22); -l_commandEnum____Where_x7c_______closed__23 = _init_l_commandEnum____Where_x7c_______closed__23(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__23); -l_commandEnum____Where_x7c_______closed__24 = _init_l_commandEnum____Where_x7c_______closed__24(); -lean_mark_persistent(l_commandEnum____Where_x7c_______closed__24); -l_commandEnum____Where_x7c____ = _init_l_commandEnum____Where_x7c____(); -lean_mark_persistent(l_commandEnum____Where_x7c____); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__1 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__1(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__1); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__2 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__2(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__2); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__3 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__3(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__3); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__4 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__4(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__4); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__5 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__5(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__5); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__6 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__6(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__6); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__7 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__7(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__7); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__8 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__8(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__8); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__9 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__9(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__9); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__10 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__10(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__10); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__11 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__11(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__11); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__12 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__12(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__12); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__13 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__13(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__13); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__14 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__14(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__14); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__15 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__15(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__15); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__16 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__16(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__16); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__17 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__17(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__17); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__18 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__18(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__18); -l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__19 = _init_l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__19(); -lean_mark_persistent(l_Array_forInUnsafe_loop___at_myMacro____x40_Init_Enum___hyg_33____spec__1___closed__19); -l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__1 = _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__1(); -lean_mark_persistent(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__1); -l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__2 = _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__2(); -lean_mark_persistent(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__2); -l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__3 = _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__3(); -lean_mark_persistent(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__3); -l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__4 = _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__4(); -lean_mark_persistent(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__4); -l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__5 = _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__5(); -lean_mark_persistent(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__5); -l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__6 = _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__6(); -lean_mark_persistent(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__6); -l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__7 = _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__7(); -lean_mark_persistent(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__7); -l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__8 = _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__8(); -lean_mark_persistent(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__8); -l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__9 = _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__9(); -lean_mark_persistent(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__9); -l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__10 = _init_l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__10(); -lean_mark_persistent(l_Array_mapMUnsafe_map___at_myMacro____x40_Init_Enum___hyg_33____spec__2___closed__10); -l_myMacro____x40_Init_Enum___hyg_33____closed__1 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__1(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__1); -l_myMacro____x40_Init_Enum___hyg_33____closed__2 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__2(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__2); -l_myMacro____x40_Init_Enum___hyg_33____closed__3 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__3(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__3); -l_myMacro____x40_Init_Enum___hyg_33____closed__4 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__4(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__4); -l_myMacro____x40_Init_Enum___hyg_33____closed__5 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__5(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__5); -l_myMacro____x40_Init_Enum___hyg_33____closed__6 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__6(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__6); -l_myMacro____x40_Init_Enum___hyg_33____closed__7 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__7(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__7); -l_myMacro____x40_Init_Enum___hyg_33____closed__8 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__8(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__8); -l_myMacro____x40_Init_Enum___hyg_33____closed__9 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__9(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__9); -l_myMacro____x40_Init_Enum___hyg_33____closed__10 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__10(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__10); -l_myMacro____x40_Init_Enum___hyg_33____closed__11 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__11(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__11); -l_myMacro____x40_Init_Enum___hyg_33____closed__12 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__12(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__12); -l_myMacro____x40_Init_Enum___hyg_33____closed__13 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__13(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__13); -l_myMacro____x40_Init_Enum___hyg_33____closed__14 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__14(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__14); -l_myMacro____x40_Init_Enum___hyg_33____closed__15 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__15(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__15); -l_myMacro____x40_Init_Enum___hyg_33____closed__16 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__16(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__16); -l_myMacro____x40_Init_Enum___hyg_33____closed__17 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__17(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__17); -l_myMacro____x40_Init_Enum___hyg_33____closed__18 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__18(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__18); -l_myMacro____x40_Init_Enum___hyg_33____closed__19 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__19(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__19); -l_myMacro____x40_Init_Enum___hyg_33____closed__20 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__20(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__20); -l_myMacro____x40_Init_Enum___hyg_33____closed__21 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__21(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__21); -l_myMacro____x40_Init_Enum___hyg_33____closed__22 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__22(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__22); -l_myMacro____x40_Init_Enum___hyg_33____closed__23 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__23(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__23); -l_myMacro____x40_Init_Enum___hyg_33____closed__24 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__24(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__24); -l_myMacro____x40_Init_Enum___hyg_33____closed__25 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__25(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__25); -l_myMacro____x40_Init_Enum___hyg_33____closed__26 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__26(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__26); -l_myMacro____x40_Init_Enum___hyg_33____closed__27 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__27(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__27); -l_myMacro____x40_Init_Enum___hyg_33____closed__28 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__28(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__28); -l_myMacro____x40_Init_Enum___hyg_33____closed__29 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__29(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__29); -l_myMacro____x40_Init_Enum___hyg_33____closed__30 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__30(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__30); -l_myMacro____x40_Init_Enum___hyg_33____closed__31 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__31(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__31); -l_myMacro____x40_Init_Enum___hyg_33____closed__32 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__32(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__32); -l_myMacro____x40_Init_Enum___hyg_33____closed__33 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__33(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__33); -l_myMacro____x40_Init_Enum___hyg_33____closed__34 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__34(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__34); -l_myMacro____x40_Init_Enum___hyg_33____closed__35 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__35(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__35); -l_myMacro____x40_Init_Enum___hyg_33____closed__36 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__36(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__36); -l_myMacro____x40_Init_Enum___hyg_33____closed__37 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__37(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__37); -l_myMacro____x40_Init_Enum___hyg_33____closed__38 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__38(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__38); -l_myMacro____x40_Init_Enum___hyg_33____closed__39 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__39(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__39); -l_myMacro____x40_Init_Enum___hyg_33____closed__40 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__40(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__40); -l_myMacro____x40_Init_Enum___hyg_33____closed__41 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__41(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__41); -l_myMacro____x40_Init_Enum___hyg_33____closed__42 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__42(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__42); -l_myMacro____x40_Init_Enum___hyg_33____closed__43 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__43(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__43); -l_myMacro____x40_Init_Enum___hyg_33____closed__44 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__44(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__44); -l_myMacro____x40_Init_Enum___hyg_33____closed__45 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__45(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__45); -l_myMacro____x40_Init_Enum___hyg_33____closed__46 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__46(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__46); -l_myMacro____x40_Init_Enum___hyg_33____closed__47 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__47(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__47); -l_myMacro____x40_Init_Enum___hyg_33____closed__48 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__48(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__48); -l_myMacro____x40_Init_Enum___hyg_33____closed__49 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__49(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__49); -l_myMacro____x40_Init_Enum___hyg_33____closed__50 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__50(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__50); -l_myMacro____x40_Init_Enum___hyg_33____closed__51 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__51(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__51); -l_myMacro____x40_Init_Enum___hyg_33____closed__52 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__52(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__52); -l_myMacro____x40_Init_Enum___hyg_33____closed__53 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__53(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__53); -l_myMacro____x40_Init_Enum___hyg_33____closed__54 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__54(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__54); -l_myMacro____x40_Init_Enum___hyg_33____closed__55 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__55(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__55); -l_myMacro____x40_Init_Enum___hyg_33____closed__56 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__56(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__56); -l_myMacro____x40_Init_Enum___hyg_33____closed__57 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__57(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__57); -l_myMacro____x40_Init_Enum___hyg_33____closed__58 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__58(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__58); -l_myMacro____x40_Init_Enum___hyg_33____closed__59 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__59(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__59); -l_myMacro____x40_Init_Enum___hyg_33____closed__60 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__60(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__60); -l_myMacro____x40_Init_Enum___hyg_33____closed__61 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__61(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__61); -l_myMacro____x40_Init_Enum___hyg_33____closed__62 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__62(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__62); -l_myMacro____x40_Init_Enum___hyg_33____closed__63 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__63(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__63); -l_myMacro____x40_Init_Enum___hyg_33____closed__64 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__64(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__64); -l_myMacro____x40_Init_Enum___hyg_33____closed__65 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__65(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__65); -l_myMacro____x40_Init_Enum___hyg_33____closed__66 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__66(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__66); -l_myMacro____x40_Init_Enum___hyg_33____closed__67 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__67(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__67); -l_myMacro____x40_Init_Enum___hyg_33____closed__68 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__68(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__68); -l_myMacro____x40_Init_Enum___hyg_33____closed__69 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__69(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__69); -l_myMacro____x40_Init_Enum___hyg_33____closed__70 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__70(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__70); -l_myMacro____x40_Init_Enum___hyg_33____closed__71 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__71(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__71); -l_myMacro____x40_Init_Enum___hyg_33____closed__72 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__72(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__72); -l_myMacro____x40_Init_Enum___hyg_33____closed__73 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__73(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__73); -l_myMacro____x40_Init_Enum___hyg_33____closed__74 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__74(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__74); -l_myMacro____x40_Init_Enum___hyg_33____closed__75 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__75(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__75); -l_myMacro____x40_Init_Enum___hyg_33____closed__76 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__76(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__76); -l_myMacro____x40_Init_Enum___hyg_33____closed__77 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__77(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__77); -l_myMacro____x40_Init_Enum___hyg_33____closed__78 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__78(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__78); -l_myMacro____x40_Init_Enum___hyg_33____closed__79 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__79(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__79); -l_myMacro____x40_Init_Enum___hyg_33____closed__80 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__80(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__80); -l_myMacro____x40_Init_Enum___hyg_33____closed__81 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__81(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__81); -l_myMacro____x40_Init_Enum___hyg_33____closed__82 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__82(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__82); -l_myMacro____x40_Init_Enum___hyg_33____closed__83 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__83(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__83); -l_myMacro____x40_Init_Enum___hyg_33____closed__84 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__84(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__84); -l_myMacro____x40_Init_Enum___hyg_33____closed__85 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__85(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__85); -l_myMacro____x40_Init_Enum___hyg_33____closed__86 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__86(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__86); -l_myMacro____x40_Init_Enum___hyg_33____closed__87 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__87(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__87); -l_myMacro____x40_Init_Enum___hyg_33____closed__88 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__88(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__88); -l_myMacro____x40_Init_Enum___hyg_33____closed__89 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__89(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__89); -l_myMacro____x40_Init_Enum___hyg_33____closed__90 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__90(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__90); -l_myMacro____x40_Init_Enum___hyg_33____closed__91 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__91(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__91); -l_myMacro____x40_Init_Enum___hyg_33____closed__92 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__92(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__92); -l_myMacro____x40_Init_Enum___hyg_33____closed__93 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__93(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__93); -l_myMacro____x40_Init_Enum___hyg_33____closed__94 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__94(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__94); -l_myMacro____x40_Init_Enum___hyg_33____closed__95 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__95(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__95); -l_myMacro____x40_Init_Enum___hyg_33____closed__96 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__96(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__96); -l_myMacro____x40_Init_Enum___hyg_33____closed__97 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__97(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__97); -l_myMacro____x40_Init_Enum___hyg_33____closed__98 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__98(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__98); -l_myMacro____x40_Init_Enum___hyg_33____closed__99 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__99(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__99); -l_myMacro____x40_Init_Enum___hyg_33____closed__100 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__100(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__100); -l_myMacro____x40_Init_Enum___hyg_33____closed__101 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__101(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__101); -l_myMacro____x40_Init_Enum___hyg_33____closed__102 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__102(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__102); -l_myMacro____x40_Init_Enum___hyg_33____closed__103 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__103(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__103); -l_myMacro____x40_Init_Enum___hyg_33____closed__104 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__104(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__104); -l_myMacro____x40_Init_Enum___hyg_33____closed__105 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__105(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__105); -l_myMacro____x40_Init_Enum___hyg_33____closed__106 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__106(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__106); -l_myMacro____x40_Init_Enum___hyg_33____closed__107 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__107(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__107); -l_myMacro____x40_Init_Enum___hyg_33____closed__108 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__108(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__108); -l_myMacro____x40_Init_Enum___hyg_33____closed__109 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__109(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__109); -l_myMacro____x40_Init_Enum___hyg_33____closed__110 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__110(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__110); -l_myMacro____x40_Init_Enum___hyg_33____closed__111 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__111(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__111); -l_myMacro____x40_Init_Enum___hyg_33____closed__112 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__112(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__112); -l_myMacro____x40_Init_Enum___hyg_33____closed__113 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__113(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__113); -l_myMacro____x40_Init_Enum___hyg_33____closed__114 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__114(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__114); -l_myMacro____x40_Init_Enum___hyg_33____closed__115 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__115(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__115); -l_myMacro____x40_Init_Enum___hyg_33____closed__116 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__116(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__116); -l_myMacro____x40_Init_Enum___hyg_33____closed__117 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__117(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__117); -l_myMacro____x40_Init_Enum___hyg_33____closed__118 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__118(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__118); -l_myMacro____x40_Init_Enum___hyg_33____closed__119 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__119(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__119); -l_myMacro____x40_Init_Enum___hyg_33____closed__120 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__120(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__120); -l_myMacro____x40_Init_Enum___hyg_33____closed__121 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__121(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__121); -l_myMacro____x40_Init_Enum___hyg_33____closed__122 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__122(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__122); -l_myMacro____x40_Init_Enum___hyg_33____closed__123 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__123(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__123); -l_myMacro____x40_Init_Enum___hyg_33____closed__124 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__124(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__124); -l_myMacro____x40_Init_Enum___hyg_33____closed__125 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__125(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__125); -l_myMacro____x40_Init_Enum___hyg_33____closed__126 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__126(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__126); -l_myMacro____x40_Init_Enum___hyg_33____closed__127 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__127(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__127); -l_myMacro____x40_Init_Enum___hyg_33____closed__128 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__128(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__128); -l_myMacro____x40_Init_Enum___hyg_33____closed__129 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__129(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__129); -l_myMacro____x40_Init_Enum___hyg_33____closed__130 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__130(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__130); -l_myMacro____x40_Init_Enum___hyg_33____closed__131 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__131(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__131); -l_myMacro____x40_Init_Enum___hyg_33____closed__132 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__132(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__132); -l_myMacro____x40_Init_Enum___hyg_33____closed__133 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__133(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__133); -l_myMacro____x40_Init_Enum___hyg_33____closed__134 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__134(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__134); -l_myMacro____x40_Init_Enum___hyg_33____closed__135 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__135(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__135); -l_myMacro____x40_Init_Enum___hyg_33____closed__136 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__136(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__136); -l_myMacro____x40_Init_Enum___hyg_33____closed__137 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__137(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__137); -l_myMacro____x40_Init_Enum___hyg_33____closed__138 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__138(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__138); -l_myMacro____x40_Init_Enum___hyg_33____closed__139 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__139(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__139); -l_myMacro____x40_Init_Enum___hyg_33____closed__140 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__140(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__140); -l_myMacro____x40_Init_Enum___hyg_33____closed__141 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__141(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__141); -l_myMacro____x40_Init_Enum___hyg_33____closed__142 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__142(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__142); -l_myMacro____x40_Init_Enum___hyg_33____closed__143 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__143(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__143); -l_myMacro____x40_Init_Enum___hyg_33____closed__144 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__144(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__144); -l_myMacro____x40_Init_Enum___hyg_33____closed__145 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__145(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__145); -l_myMacro____x40_Init_Enum___hyg_33____closed__146 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__146(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__146); -l_myMacro____x40_Init_Enum___hyg_33____closed__147 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__147(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__147); -l_myMacro____x40_Init_Enum___hyg_33____closed__148 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__148(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__148); -l_myMacro____x40_Init_Enum___hyg_33____closed__149 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__149(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__149); -l_myMacro____x40_Init_Enum___hyg_33____closed__150 = _init_l_myMacro____x40_Init_Enum___hyg_33____closed__150(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____closed__150); -l_myMacro____x40_Init_Enum___hyg_33____boxed__const__1 = _init_l_myMacro____x40_Init_Enum___hyg_33____boxed__const__1(); -lean_mark_persistent(l_myMacro____x40_Init_Enum___hyg_33____boxed__const__1); -return lean_io_result_mk_ok(lean_box(0)); -} -#ifdef __cplusplus -} -#endif