.lake/build/lib/libffi.dylib: Load command 0 cmd LC_SEGMENT_64 cmdsize 712 segname __TEXT vmaddr 0x0000000000000000 vmsize 0x00000000013cc000 fileoff 0 filesize 20758528 maxprot 0x00000005 initprot 0x00000005 nsects 8 flags 0x0 Section sectname __text segname __TEXT addr 0x0000000000000860 size 0x0000000001106014 offset 2144 align 2^5 (32) reloff 0 nreloc 0 flags 0x80000400 reserved1 0 reserved2 0 Section sectname __stubs segname __TEXT addr 0x0000000001106874 size 0x0000000000000c78 offset 17852532 align 2^2 (4) reloff 0 nreloc 0 flags 0x80000408 reserved1 331 (index into indirect symbol table) reserved2 12 (size of stubs) Section sectname __init_offsets segname __TEXT addr 0x00000000011074ec size 0x0000000000000a54 offset 17855724 align 2^2 (4) reloff 0 nreloc 0 flags 0x00000016 reserved1 0 reserved2 0 Section sectname __gcc_except_tab segname __TEXT addr 0x0000000001107f40 size 0x00000000001fed20 offset 17858368 align 2^2 (4) reloff 0 nreloc 0 flags 0x00000000 reserved1 0 reserved2 0 Section sectname __literals segname __TEXT addr 0x0000000001306c60 size 0x0000000000000bd8 offset 19950688 align 2^4 (16) reloff 0 nreloc 0 flags 0x00000000 reserved1 0 reserved2 0 Section sectname __const segname __TEXT addr 0x0000000001307838 size 0x000000000002760b offset 19953720 align 2^3 (8) reloff 0 nreloc 0 flags 0x00000000 reserved1 0 reserved2 0 Section sectname __cstring segname __TEXT addr 0x000000000132ee43 size 0x0000000000069ae4 offset 20115011 align 2^0 (1) reloff 0 nreloc 0 flags 0x00000002 reserved1 0 reserved2 0 Section sectname __unwind_info segname __TEXT addr 0x0000000001398928 size 0x0000000000031cb8 offset 20547880 align 2^2 (4) reloff 0 nreloc 0 flags 0x00000000 reserved1 0 reserved2 0 Load command 1 cmd LC_SEGMENT_64 cmdsize 232 segname __DATA_CONST vmaddr 0x00000000013cc000 vmsize 0x0000000000020000 fileoff 20758528 filesize 131072 maxprot 0x00000003 initprot 0x00000003 nsects 2 flags 0x10 Section sectname __got segname __DATA_CONST addr 0x00000000013cc000 size 0x0000000000000a58 offset 20758528 align 2^3 (8) reloff 0 nreloc 0 flags 0x00000006 reserved1 0 (index into indirect symbol table) reserved2 0 Section sectname __const segname __DATA_CONST addr 0x00000000013cca60 size 0x000000000001c2b8 offset 20761184 align 2^4 (16) reloff 0 nreloc 0 flags 0x00000000 reserved1 0 reserved2 0 Load command 2 cmd LC_SEGMENT_64 cmdsize 552 segname __DATA vmaddr 0x00000000013ec000 vmsize 0x0000000000010000 fileoff 20889600 filesize 49152 maxprot 0x00000003 initprot 0x00000003 nsects 6 flags 0x0 Section sectname __data segname __DATA addr 0x00000000013ec000 size 0x0000000000008e28 offset 20889600 align 2^3 (8) reloff 0 nreloc 0 flags 0x00000000 reserved1 0 reserved2 0 Section sectname __thread_vars segname __DATA addr 0x00000000013f4e28 size 0x0000000000001398 offset 20925992 align 2^3 (8) reloff 0 nreloc 0 flags 0x00000013 reserved1 0 reserved2 0 Section sectname __thread_data segname __DATA addr 0x00000000013f61c0 size 0x0000000000000018 offset 20931008 align 2^3 (8) reloff 0 nreloc 0 flags 0x00000011 reserved1 0 reserved2 0 Section sectname __thread_bss segname __DATA addr 0x00000000013f61d8 size 0x0000000000000e69 offset 0 align 2^3 (8) reloff 0 nreloc 0 flags 0x00000012 reserved1 0 reserved2 0 Section sectname __common segname __DATA addr 0x00000000013f7048 size 0x0000000000002288 offset 0 align 2^3 (8) reloff 0 nreloc 0 flags 0x00000001 reserved1 0 reserved2 0 Section sectname __bss segname __DATA addr 0x00000000013f92d0 size 0x00000000000007c8 offset 0 align 2^3 (8) reloff 0 nreloc 0 flags 0x00000001 reserved1 0 reserved2 0 Load command 3 cmd LC_SEGMENT_64 cmdsize 72 segname __LINKEDIT vmaddr 0x00000000013fc000 vmsize 0x00000000004e61b0 fileoff 20938752 filesize 5136816 maxprot 0x00000001 initprot 0x00000001 nsects 0 flags 0x0 Load command 4 cmd LC_DYLD_CHAINED_FIXUPS cmdsize 16 dataoff 20938752 datasize 13672 Load command 5 cmd LC_DYLD_EXPORTS_TRIE cmdsize 16 dataoff 20952424 datasize 202496 Load command 6 cmd LC_SYMTAB cmdsize 24 symoff 21200000 nsyms 62213 stroff 22197800 strsize 3675496 Load command 7 cmd LC_DYSYMTAB cmdsize 80 ilocalsym 0 nlocalsym 55877 iextdefsym 55877 nextdefsym 6009 iundefsym 61886 nundefsym 327 tocoff 0 ntoc 0 modtaboff 0 nmodtab 0 extrefsymoff 0 nextrefsyms 0 indirectsymoff 22195408 nindirectsyms 597 extreloff 0 nextrel 0 locreloff 0 nlocrel 0 Load command 8 cmd LC_ID_DYLIB cmdsize 88 name /Users/dranov/src/lean-cvc5/.lake/build/lib/libffi.dylib (offset 24) time stamp 0 Thu Jan 1 07:30:00 1970 current version 0.0.0 compatibility version 0.0.0 Load command 9 cmd LC_UUID cmdsize 24 uuid 4C4C4492-5555-3144-A190-1835AE641D66 Load command 10 cmd LC_BUILD_VERSION cmdsize 32 platform 1 minos 99.0 sdk 99.0 ntools 1 tool 4 version 19.1.2 Load command 11 cmd LC_LOAD_DYLIB cmdsize 48 name /usr/lib/libc++.dylib (offset 24) time stamp 0 Thu Jan 1 07:30:00 1970 current version 1.0.0 compatibility version 1.0.0 Load command 12 cmd LC_LOAD_DYLIB cmdsize 56 name @rpath/libLake_shared.dylib (offset 24) time stamp 0 Thu Jan 1 07:30:00 1970 current version 0.0.0 compatibility version 0.0.0 Load command 13 cmd LC_LOAD_DYLIB cmdsize 56 name /usr/lib/libSystem.B.dylib (offset 24) time stamp 0 Thu Jan 1 07:30:00 1970 current version 1345.120.2 compatibility version 1.0.0 Load command 14 cmd LC_FUNCTION_STARTS cmdsize 16 dataoff 21154920 datasize 45080 Load command 15 cmd LC_DATA_IN_CODE cmdsize 16 dataoff 21200000 datasize 0 Load command 16 cmd LC_CODE_SIGNATURE cmdsize 16 dataoff 25873296 datasize 202272