Coq stack overflow on ARM M1

log.txt

Process 14150 stopped 
* thread #1, queue = 'com.apple.main-thread', stop reason = EXC_BAD_ACCESS (code=2, address=0x16f603ff8) 
    frame #0: 0x0000000100a7e1b8 coqc`camlCArray__map_2729 + 48 
coqc`camlCArray__map_2729: 
->  0x100a7e1b8 <+48>: str    x8, [sp, #0x8] 
    0x100a7e1bc <+52>: mov    x9, #0x1 
    0x100a7e1c0 <+56>: str    x9, [sp] 
    0x100a7e1c4 <+60>: ldr    x22, [sp, #0x8] 
(lldb) bt 
* thread #1, queue = 'com.apple.main-thread', stop reason = EXC_BAD_ACCESS (code=2, address=0x16f603ff8) 
  * frame #0: 0x0000000100a7e1b8 coqc`camlCArray__map_2729 + 48 
    frame #1: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #2: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #3: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #4: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #5: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #6: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #7: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #8: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #9: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #10: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #11: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #12: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #13: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #14: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #15: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #16: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #17: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #18: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #19: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #20: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #21: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #22: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #23: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #24: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #25: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #26: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #27: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #28: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #29: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #30: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #31: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #32: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #33: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #34: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #35: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #36: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #37: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #38: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #39: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #40: 0x0000000100a7e234 coqc`camlCArray__map_2729 + 172 
    frame #41: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #42: 0x000000010091e578 coqc`camlConstr__map_with_binders_3758 + 1840 
    frame #43: 0x0000000100a7e358 coqc`camlCArray__map_2729 + 464 
    frame #44: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #45: 0x0000000100a7e358 coqc`camlCArray__map_2729 + 464 
    frame #46: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #47: 0x0000000100a7e358 coqc`camlCArray__map_2729 + 464 
    frame #48: 0x000000010091e214 coqc`camlConstr__map_with_binders_3758 + 972 
    frame #49: 0x0000000100673a60 coqc`camlReductionops__aux_58113 + 176 
    frame #50: 0x00000001007a9358 coqc`camlUnification__expand_19711 + 2040 
    frame #51: 0x00000001007a80fc coqc`camlUnification__unify_app_19073 + 1132 
    frame #52: 0x00000001007a73d0 coqc`camlUnification__unirec_rec_22125 + 11232 
    frame #53: 0x000000010079c8cc coqc`camlUnification__fold_124914 + 316 
    frame #54: 0x00000001007a7f4c coqc`camlUnification__unify_app_19073 + 700 
    frame #55: 0x00000001007a73d0 coqc`camlUnification__unirec_rec_22125 + 11232 
    frame #56: 0x00000001007a4720 coqc`camlUnification__unify_0_with_initial_metas_2217 + 1456 
    frame #57: 0x00000001007ad9b4 coqc`camlUnification__w_unify_core_0_6580 + 676 
    frame #58: 0x000000010059da64 coqc`camlClenv__anon_fn$5bclenv$2eml$3a654$2c23$2d$2d150$5d_8293 + 676 
    frame #59: 0x000000010083d7d0 coqc`camlProofview__anon_fn$5bproofview$2eml$3a1131$2c21$2d$2d180$5d_101824 + 88 
    frame #60: 0x0000000100830c58 coqc`camlProofview__anon_fn$5blogic_monad$2eml$3a199$2c48$2d$2d83$5d_599452 + 40 
    frame #10239: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #10240: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #10241: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #10242: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #23800: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #23801: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #23802: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #23803: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #37361: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #37362: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #37363: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #37364: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #50922: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #50923: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #50924: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #50925: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #64483: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #64484: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #64485: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #64486: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #77996: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #77997: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #77998: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #77999: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #91461: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #91462: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #91463: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #91464: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #104414: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #104415: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #104416: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #104417: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #116855: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #116856: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #116857: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #116858: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #128784: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #128785: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #128786: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #128787: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #141233: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #141234: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #141235: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #141236: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #152946: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #152947: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #152948: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #152949: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #164067: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #164068: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #164069: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #164070: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #174596: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #174597: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #174598: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #174599: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #184533: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #184534: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #184535: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #184536: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #193878: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #193879: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #193880: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #193881: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #202631: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #202632: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #202633: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #202634: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #210792: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #210793: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #210794: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #210795: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #218361: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #218362: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #218363: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #218364: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #225338: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #225339: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #225340: 0x000000010047e528 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_692111 + 104 
    frame #225341: 0x000000010047e880 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_764953 + 96 
    frame #231723: 0x000000010043f518 coqc`camlHints__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_187685 + 80 
    frame #231724: 0x000000010047e4b0 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_779710 + 96 
    frame #231725: 0x000000010047df30 coqc`camlClass_tactics__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5d_601380 + 224 
    frame #231726: 0x000000010000bd64 coqc`caml_apply2 + 52 
    frame #231727: 0x0000000100824e94 coqc`camlLogic_monad__anon_fn$5blogic_monad$2eml$3a67$2c24$2d$2d45$5d_108 + 28 
    frame #231728: 0x0000000100824e94 coqc`camlLogic_monad__anon_fn$5blogic_monad$2eml$3a67$2c24$2d$2d45$5d_108 + 28 
    frame #231729: 0x0000000100826250 coqc`camlLogic_monad__run_504 + 40 
    frame #231730: 0x0000000100580294 coqc`camlProof__run_tactic_1348 + 244 
    frame #231731: 0x0000000100583164 coqc`camlProof__solve_2556 + 2092 
    frame #231732: 0x0000000100346e64 coqc`camlComTactic__anon_fn$5bcomTactic$2eml$3a43$2c57$2d$2d435$5d_1012 + 116 
    frame #231733: 0x0000000100346b20 coqc`camlComTactic__solve_core_90 + 288 
    frame #231734: 0x000000010034b2b0 coqc`camlVernacinterp__interp_expr_420 + 3928 
    frame #231735: 0x000000010034c1e8 coqc`camlVernacinterp__anon_fn$5bvernacinterp$2eml$3a211$2c4$2d$2d375$5d_1062 + 472 
    frame #231736: 0x0000000100a14b1c coqc`camlFlags__silently_366 + 92 
    frame #231737: 0x000000010034cde0 coqc`camlVernacinterp__interp_inner_1355 + 224 
    frame #231738: 0x000000010006a628 coqc`camlStm__step_197942 + 3152 
    frame #231739: 0x000000010003ec88 coqc`camlStm__step_7840 + 72 
    frame #231740: 0x000000010005c0f8 coqc`camlStm__define_inner_4299 + 1592 
    frame #231741: 0x0000000100069560 coqc`camlStm__reach_inner_194748 + 4616 
    frame #231742: 0x0000000100067328 coqc`camlStm__known_state_inner_7405 + 384 
    frame #231743: 0x0000000100071ccc coqc`camlStm__observe_12488 + 180 
    frame #231744: 0x000000010000d7b0 coqc`camlVernac__interp_vernac_71 + 496 
    frame #231745: 0x000000010000dcf8 coqc`camlVernac__loop_1485 + 808 
    frame #231746: 0x000000010000e438 coqc`camlVernac__load_vernac_382 + 336 
    frame #231747: 0x00000001000231a0 coqc`camlCcompile__compile_443 + 1280 
    frame #231748: 0x00000001000239a4 coqc`camlCcompile__compile_files_1037 + 52 
    frame #231749: 0x000000010000cf1c coqc`camlCoqc_bin__entry + 3708 
    frame #231750: 0x00000001000066f4 coqc`caml_program + 10740 
    frame #231751: 0x0000000100bfd778 coqc`caml_start_program + 108 
    frame #231752: 0x0000000100bd9f1c coqc`caml_startup_common(argv=0x0000000159a3ca50, pooling=<unavailable>) at startup_nat.c:162:10 [opt] 
    frame #231753: 0x0000000100bd9f84 coqc`caml_main [inlined] caml_startup_exn(argv=<unavailable>) at startup_nat.c:167:10 [opt] 
    frame #231754: 0x0000000100bd9f7c coqc`caml_main [inlined] caml_startup(argv=<unavailable>) at startup_nat.c:172:15 [opt] 
    frame #231755: 0x0000000100bd9f7c coqc`caml_main(argv=<unavailable>) at startup_nat.c:179:3 [opt] 
    frame #231756: 0x0000000100bd9fe4 coqc`main(argc=<unavailable>, argv=<unavailable>) at main.c:44:3 [opt] 
    frame #231757: 0x00000001025250f4 dyld`start + 520 
(lldb)  

Filtered with fgrep -v 'camlProofview__anon_fn$5blogic_monad$2eml$3a191$2c15$2d$2d96$5'.