Job 1720

CakeML:ebbc94cbdb27eb948840b51f2cbb79e585b1a260
  fix for renamed constructor [Jan 17 00:14:08]
#857 (eval-bitmaps)
Merging into:fd3e72e7afc931fb4f4945cae710715da37ea03c
  Merge pull request #852 from CakeML/tidy-up [Jan 05 17:40:32]
HOL:af01322db66662cdba8bcd13dd1e0fa76d818bfa
  Proper names for theorems. [Jan 14 05:47:46]
Machine:oven3+4.19.67.1.amd64-smp+

Jan 17 08:48:49 Claimed job
Jan 17 08:48:56 Reusing+HOL
Jan 17 08:49:48 Starting+developers
Jan 17 08:49:56 Finished+developers++++++++++++++++++++++++++++++++++++++++8.18+162316
Jan 17 08:49:56 Starting+developers/bin
Jan 17 08:50:06 Finished+developers/bin++++++++++++++++++++++++++++++++++++9.57+683536
Jan 17 08:50:06 Starting+semantics/ffi
Jan 17 08:50:26 Finished+semantics/ffi+++++++++++++++++++++++++++++++++++++19.79+243568
Jan 17 08:50:26 Starting+semantics
Jan 17 08:53:17 Finished+semantics+++++++++++++++++++++++++++++++++++++++++170.37+1265968
Jan 17 08:53:17 Starting+semantics/proofs
Jan 17 09:00:49 Finished+semantics/proofs++++++++++++++++++++++++++++++++++451.68+1192900
Jan 17 09:00:49 Starting+semantics/alt_semantics
Jan 17 09:01:13 Finished+semantics/alt_semantics+++++++++++++++++++++++++++23.72+371296
Jan 17 09:01:13 Starting+semantics/alt_semantics/proofs
Jan 17 09:06:26 Finished+semantics/alt_semantics/proofs++++++++++++++++++++311.98+1068312
Jan 17 09:06:26 Starting+basis/pure
Jan 17 09:08:13 Finished+basis/pure++++++++++++++++++++++++++++++++++++++++107.27+710412
Jan 17 09:08:13 Starting+translator
Jan 17 09:14:04 Finished+translator++++++++++++++++++++++++++++++++++++++++349.94+1804184
Jan 17 09:14:04 Starting+compiler/parsing
Jan 17 09:16:47 Finished+compiler/parsing++++++++++++++++++++++++++++++++++163.40+2311560
Jan 17 09:16:48 Starting+characteristic
Jan 17 09:28:48 Finished+characteristic++++++++++++++++++++++++++++++++++++720.53+1902112
Jan 17 09:28:49 Starting+translator/monadic
Jan 17 09:32:19 Finished+translator/monadic++++++++++++++++++++++++++++++++209.87+1495988
Jan 17 09:32:19 Starting+basis
Jan 17 11:10:02 Finished+basis+++++++++++++++++++++++++++++++++++++++++++++5861.64+11264628
Jan 17 11:10:02 Starting+compiler/inference
Jan 17 11:12:27 Finished+compiler/inference++++++++++++++++++++++++++++++++145.29+971304
Jan 17 11:12:27 Starting+compiler/backend/reg_alloc
Jan 17 11:14:29 Finished+compiler/backend/reg_alloc++++++++++++++++++++++++121.36+1337008
Jan 17 11:14:29 Starting+compiler/backend/gc
Jan 17 11:21:06 Finished+compiler/backend/gc+++++++++++++++++++++++++++++++396.20+1965580
Jan 17 11:21:06 Starting+compiler/backend
Jan 17 11:30:02 Finished+compiler/backend++++++++++++++++++++++++++++++++++535.62+2063624
Jan 17 11:30:02 Starting+compiler/encoders/asm
Jan 17 11:30:52 Finished+compiler/encoders/asm+++++++++++++++++++++++++++++49.81+920344
Jan 17 11:30:52 Starting+compiler/encoders/x64
Jan 17 11:31:49 Finished+compiler/encoders/x64+++++++++++++++++++++++++++++56.99+1061796
Jan 17 11:31:49 Starting+compiler/encoders/arm7
Jan 17 11:33:47 Finished+compiler/encoders/arm7++++++++++++++++++++++++++++117.55+809760
Jan 17 11:33:47 Starting+compiler/encoders/arm8
Jan 17 11:34:17 Finished+compiler/encoders/arm8++++++++++++++++++++++++++++29.80+579480
Jan 17 11:34:18 Starting+compiler/encoders/mips
Jan 17 11:34:57 Finished+compiler/encoders/mips++++++++++++++++++++++++++++39.32+1244888
Jan 17 11:34:57 Starting+compiler/encoders/riscv
Jan 17 11:35:32 Finished+compiler/encoders/riscv+++++++++++++++++++++++++++33.92+756032
Jan 17 11:35:32 Starting+compiler/encoders/ag32
Jan 17 11:36:12 Finished+compiler/encoders/ag32++++++++++++++++++++++++++++40.23+618508
Jan 17 11:36:13 Starting+compiler/backend/x64
Jan 17 11:36:56 Finished+compiler/backend/x64++++++++++++++++++++++++++++++43.37+1352792
Jan 17 11:36:57 Starting+compiler/backend/arm7
Jan 17 11:37:43 Finished+compiler/backend/arm7+++++++++++++++++++++++++++++46.66+1751916
Jan 17 11:37:44 Starting+compiler/backend/arm8
Jan 17 11:38:27 Finished+compiler/backend/arm8+++++++++++++++++++++++++++++43.56+1315056
Jan 17 11:38:28 Starting+compiler/backend/mips
Jan 17 11:39:10 Finished+compiler/backend/mips+++++++++++++++++++++++++++++42.50+1412132
Jan 17 11:39:11 Starting+compiler/backend/riscv
Jan 17 11:39:53 Finished+compiler/backend/riscv++++++++++++++++++++++++++++42.08+1433964
Jan 17 11:39:53 Starting+compiler/backend/ag32
Jan 17 11:42:18 Finished+compiler/backend/ag32+++++++++++++++++++++++++++++144.71+1322528
Jan 17 11:42:18 Starting+compiler/parsing/proofs
Jan 17 11:50:41 Finished+compiler/parsing/proofs+++++++++++++++++++++++++++502.56+1122756
Jan 17 11:50:41 Starting+compiler/inference/proofs
Jan 17 11:55:58 Finished+compiler/inference/proofs+++++++++++++++++++++++++316.47+1340068
Jan 17 11:55:58 Starting+compiler/backend/semantics
Jan 17 12:56:36 Finished+compiler/backend/semantics++++++++++++++++++++++++3637.44+3626492
Jan 17 12:56:36 Starting+compiler/backend/reg_alloc/proofs
Jan 17 13:04:02 Finished+compiler/backend/reg_alloc/proofs+++++++++++++++++445.90+881704
Jan 17 13:04:02 Starting+compiler/backend/proofs
Jan 17 14:41:25 Finished+compiler/backend/proofs+++++++++++++++++++++++++++5842.18+25983584
Jan 17 14:41:25 Starting+compiler/backend/serialiser
Jan 17 14:43:54 Finished+compiler/backend/serialiser+++++++++++++++++++++++148.45+2193764
Jan 17 14:43:54 Starting+compiler/encoders/x64/proofs
Jan 17 15:05:15 Finished+compiler/encoders/x64/proofs++++++++++++++++++++++1280.79+4870528
Jan 17 15:05:15 Starting+compiler/encoders/arm7/proofs
Jan 17 15:34:38 Finished+compiler/encoders/arm7/proofs+++++++++++++++++++++1761.98+3414560
Jan 17 15:34:38 Starting+compiler/encoders/arm8/proofs
Jan 17 15:50:12 Finished+compiler/encoders/arm8/proofs+++++++++++++++++++++932.58+1388540
Jan 17 15:50:12 Starting+compiler/encoders/mips/proofs
Jan 17 16:12:42 Finished+compiler/encoders/mips/proofs+++++++++++++++++++++1349.85+2874124
Jan 17 16:12:42 Starting+compiler/encoders/riscv/proofs
Jan 17 16:32:46 Finished+compiler/encoders/riscv/proofs++++++++++++++++++++1203.90+1235092
Jan 17 16:32:46 Starting+compiler/encoders/ag32/proofs
Jan 17 16:38:33 Finished+compiler/encoders/ag32/proofs+++++++++++++++++++++346.65+854336
Jan 17 16:38:33 Starting+compiler/backend/x64/proofs
Jan 17 16:39:23 Finished+compiler/backend/x64/proofs+++++++++++++++++++++++49.30+1281508
Jan 17 16:39:23 Starting+compiler/backend/arm7/proofs
Jan 17 16:40:15 Finished+compiler/backend/arm7/proofs++++++++++++++++++++++51.75+1794528
Jan 17 16:40:15 Starting+compiler/backend/arm8/proofs
Jan 17 16:41:05 Finished+compiler/backend/arm8/proofs++++++++++++++++++++++49.85+1448396
Jan 17 16:41:06 Starting+compiler/backend/mips/proofs
Jan 17 16:41:58 Finished+compiler/backend/mips/proofs++++++++++++++++++++++52.57+1911788
Jan 17 16:41:59 Starting+compiler/backend/riscv/proofs
Jan 17 16:42:49 Finished+compiler/backend/riscv/proofs+++++++++++++++++++++49.88+1588176
Jan 17 16:42:49 Starting+compiler/backend/ag32/proofs
Jan 17 17:09:44 Finished+compiler/backend/ag32/proofs++++++++++++++++++++++1614.98+3433960
Jan 17 17:09:44 Starting+compiler/proofs
Jan 17 17:13:18 Finished+compiler/proofs+++++++++++++++++++++++++++++++++++213.58+2923236
Jan 17 17:13:18 Starting+candle/set-theory
Jan 17 17:14:15 Finished+candle/set-theory+++++++++++++++++++++++++++++++++56.20+694600
Jan 17 17:14:15 Starting+candle/syntax-lib
Jan 17 17:14:41 Finished+candle/syntax-lib+++++++++++++++++++++++++++++++++25.62+493748
Jan 17 17:14:41 Starting+candle/standard/syntax
Jan 17 17:18:38 Finished+candle/standard/syntax++++++++++++++++++++++++++++236.76+1236872
Jan 17 17:18:38 Starting+candle/standard/semantics
Jan 17 17:22:28 Finished+candle/standard/semantics+++++++++++++++++++++++++229.38+1441612
Jan 17 17:22:28 Starting+candle/standard/monadic
Jan 17 17:25:47 Finished+candle/standard/monadic+++++++++++++++++++++++++++198.35+1242488
Jan 17 17:25:47 Starting+candle/standard/ml_kernel
Jan 17 17:39:30 Finished+candle/standard/ml_kernel+++++++++++++++++++++++++823.44+4005600
Jan 17 17:39:31 Starting+candle/overloading/syntax
Jan 17 17:46:04 Finished+candle/overloading/syntax+++++++++++++++++++++++++393.57+1192344
Jan 17 17:46:05 Starting+candle/overloading/semantics
Jan 17 18:11:56 Finished+candle/overloading/semantics++++++++++++++++++++++1551.48+2853152
Jan 17 18:11:56 Starting+candle/prover
Jan 17 18:27:32 Finished+candle/prover+++++++++++++++++++++++++++++++++++++934.98+3039768
Jan 17 18:27:32 Starting+pancake
Jan 17 18:31:39 Finished+pancake+++++++++++++++++++++++++++++++++++++++++++246.85+2531172
Jan 17 18:31:39 Starting+pancake/ffi
Jan 17 18:31:40 Finished+pancake/ffi+++++++++++++++++++++++++++++++++++++++0.47+7732
Jan 17 18:31:40 Starting+pancake/semantics
Jan 17 18:36:24 Finished+pancake/semantics+++++++++++++++++++++++++++++++++283.63+1168884
Jan 17 18:36:24 Starting+pancake/proofs
Jan 17 19:01:43 Finished+pancake/proofs++++++++++++++++++++++++++++++++++++1518.45+6323008
Jan 17 19:01:43 Starting+characteristic/examples
Jan 17 19:04:25 Finished+characteristic/examples+++++++++++++++++++++++++++162.24+3303456
Jan 17 19:04:25 Starting+tutorial/solutions
Jan 17 19:39:37 Finished+tutorial/solutions++++++++++++++++++++++++++++++++2111.27+9934996
Jan 17 19:39:37 Starting+translator/monadic/examples
Jan 17 19:45:25 Finished+translator/monadic/examples+++++++++++++++++++++++347.25+2769136
Jan 17 19:45:25 Starting+examples
Jan 17 20:02:12 Finished+examples++++++++++++++++++++++++++++++++++++++++++1007.09+4078624
Jan 17 20:02:12 Starting+examples/compilation/x64
Jan 18 01:29:02 Finished+examples/compilation/x64++++++++++++++++++++++++++19608.79+21163944
Jan 18 01:29:02 Starting+examples/compilation/x64/proofs
Jan 18 01:32:47 Finished+examples/compilation/x64/proofs+++++++++++++++++++225.10+2965532
Jan 18 01:32:47 Starting+examples/compilation/ag32
Jan 18 02:48:37 Finished+examples/compilation/ag32+++++++++++++++++++++++++4548.17+9780976
Jan 18 02:48:37 Starting+examples/compilation/ag32/proofs
Jan 18 02:50:07 Finished+examples/compilation/ag32/proofs++++++++++++++++++90.33+3140400
Jan 18 02:50:08 Starting+examples/cost
Jan 18 04:46:38 Finished+examples/cost+++++++++++++++++++++++++++++++++++++6989.81+8401648
Jan 18 04:46:38 Starting+examples/lpr_checker
Jan 18 04:48:20 Finished+examples/lpr_checker++++++++++++++++++++++++++++++101.57+1138684
Jan 18 04:48:20 Starting+examples/lpr_checker/array
Jan 18 05:50:58 Finished+examples/lpr_checker/array++++++++++++++++++++++++3757.46+6228468
Jan 18 05:50:58 Starting+examples/lpr_checker/array/compilation
Jan 18 08:50:52 Finished+examples/lpr_checker/array/compilation++++++++++++10792.94+37205124
Jan 18 08:50:52 Starting+examples/lpr_checker/array/compilation/proofs
Jan 18 08:53:20 Finished+examples/lpr_checker/array/compilation/proofs+++++147.89+6341792
Jan 18 08:53:20 Starting+examples/opentheory
Jan 18 09:13:22 Finished+examples/opentheory+++++++++++++++++++++++++++++++1201.83+5103020
Jan 18 09:13:22 Starting+examples/opentheory
Jan 18 09:13:25 Finished+examples/opentheory+++++++++++++++++++++++++++++++2.51+34120
Jan 18 09:13:25 Starting+examples/opentheory/compilation
Jan 18 10:45:52 Finished+examples/opentheory/compilation+++++++++++++++++++5545.46+40303612
Jan 18 10:45:52 Starting+examples/opentheory/compilation/proofs
Jan 18 10:47:55 Finished+examples/opentheory/compilation/proofs++++++++++++122.80+3231764
Jan 18 10:47:55 Starting+examples/opentheory/compilation/ag32
Jan 18 12:15:06 Finished+examples/opentheory/compilation/ag32++++++++++++++5230.17+38619688
Jan 18 12:15:06 Starting+examples/opentheory/compilation/ag32/proofs
Jan 18 12:19:04 Finished+examples/opentheory/compilation/ag32/proofs+++++++237.62+5570756
Jan 18 12:19:04 Starting+examples/sat_encodings
Jan 18 12:22:50 Finished+examples/sat_encodings++++++++++++++++++++++++++++225.66+815092
Jan 18 12:22:50 Starting+examples/sat_encodings/case_studies
Jan 18 12:26:09 Finished+examples/sat_encodings/case_studies+++++++++++++++198.35+873476
Jan 18 12:26:09 Starting+examples/sat_encodings/translation
Jan 18 12:37:26 Finished+examples/sat_encodings/translation++++++++++++++++676.93+3343444
Jan 18 12:37:26 Starting+examples/sat_encodings/translation/compilation
Jan 18 14:04:20 Finished+examples/sat_encodings/translation/compilation++++5212.88+20901628
Jan 18 14:04:20 Starting+translator/okasaki-examples
Jan 18 14:13:34 Finished+translator/okasaki-examples+++++++++++++++++++++++553.60+1772304
Jan 18 14:13:34 Starting+translator/other-examples
Jan 18 14:16:59 Finished+translator/other-examples+++++++++++++++++++++++++205.13+1324852
Jan 18 14:16:59 Starting+compiler/parsing/tests
Jan 18 14:18:09 Finished+compiler/parsing/tests++++++++++++++++++++++++++++69.21+576672
Jan 18 14:18:09 Starting+compiler/inference/tests
Jan 18 14:33:33 Finished+compiler/inference/tests++++++++++++++++++++++++++923.46+3656960
Jan 18 14:33:33 Starting+compiler/repl
Jan 18 14:52:09 Finished+compiler/repl+++++++++++++++++++++++++++++++++++++1116.08+6902688
Jan 18 14:52:09 Starting+compiler/bootstrap/translation
Jan 18 20:46:56 Finished+compiler/bootstrap/translation++++++++++++++++++++21286.80+43992392
Jan 18 20:46:57 Starting+unverified/sexpr-bootstrap/x64/64
Jan 18 21:06:26 FAILED:+unverified/sexpr-bootstrap/x64/64
Scanning [1m$(HOLDIR)/src/sort[0m
Scanning [1m$(HOLDIR)/src/string[0m
Scanning [1m$(HOLDIR)/src/n-bit[0m
Scanning [1m$(HOLDIR)/src/res_quan/src[0m
Scanning [1m$(HOLDIR)/src/quotient/src[0m
Scanning [1m$(HOLDIR)/src/transfer[0m
Scanning [1m$(HOLDIR)/src/pred_set/src/more_theories[0m
Scanning [1m$(HOLDIR)/src/finite_maps[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/context-free[0m
Scanning [1m$(HOLDIR)/examples/machine-code/hoare-triple[0m
Scanning [1m$(HOLDIR)/src/ring/src[0m
Scanning [1m$(HOLDIR)/src/integer[0m
Scanning [1m$(HOLDIR)/src/hol88[0m
Scanning [1m$(HOLDIR)/src/real[0m
Scanning [1m$(HOLDIR)/src/floating-point[0m
Scanning [1m$(HOLDIR)/src/monad/more_monads[0m
Scanning [1m$(HOLDIR)/src/update[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/common[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/lib[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/arm/model[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/arm8/model[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/mips/model[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/riscv/model[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/x64/model[0m
Scanning [1m$(HOLDIR)/examples/balanced_bst[0m
Scanning [1m$(HOLDIR)/examples/formal-languages[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/regular[0m
Scanning [1m$(HOLDIR)/src/coalgebras[0m
Scanning [1m$(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
Scanning [1m$(CAKEMLDIR)/developers[0m
Scanning [1m$(CAKEMLDIR)/misc[0m
Scanning [1m$(CAKEMLDIR)/basis/pure[0m
Scanning [1m$(CAKEMLDIR)/semantics/ffi[0m
Scanning [1m$(CAKEMLDIR)/semantics[0m
Scanning [1m$(CAKEMLDIR)/semantics/proofs[0m
Scanning [1m$(CAKEMLDIR)/compiler/parsing[0m
Scanning [1m$(CAKEMLDIR)/translator[0m
Scanning [1m$(CAKEMLDIR)/characteristic[0m
Scanning [1m$(CAKEMLDIR)/translator/monadic/monad_base[0m
Scanning [1m$(CAKEMLDIR)/translator/monadic[0m
Scanning [1m$(CAKEMLDIR)/basis[0m
Scanning [1m$(HOLDIR)/examples/algorithms[0m
Scanning [1m$(HOLDIR)/examples/machine-code/multiword[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/pattern_matching[0m
Scanning [1m$(CAKEMLDIR)/unverified/reg_alloc[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/reg_alloc[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/asm[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/ag32[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/ag32[0m
Scanning [1m$(HOLDIR)/examples/machine-code/decompiler[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/arm/step[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/arm7[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/arm7[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/arm8/step[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/arm8[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/arm8[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/mips/step[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/mips[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/mips[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/riscv/step[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/riscv[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/riscv[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/x64/step[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/x64[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/x64[0m
Scanning [1m$(HOLDIR)/examples/algorithms/unification/triangular[0m
Scanning [1m$(HOLDIR)/examples/algorithms/unification/triangular/first-order[0m
Scanning [1m$(CAKEMLDIR)/compiler/inference[0m
Scanning [1m$(CAKEMLDIR)/compiler[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/reg_alloc/proofs[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/serialiser[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/monadic_enc[0m
Scanning [1m$(CAKEMLDIR)/compiler/inference/proofs[0m
Scanning [1m$(CAKEMLDIR)/candle/syntax-lib[0m
Scanning [1m$(CAKEMLDIR)/candle/standard/syntax[0m
Scanning [1m$(CAKEMLDIR)/candle/standard/monadic[0m
Scanning [1m$(CAKEMLDIR)/candle/standard/ml_kernel[0m
Scanning [1m$(CAKEMLDIR)/candle/set-theory[0m
Scanning [1m$(CAKEMLDIR)/candle/standard/semantics[0m
Scanning [1m$(CAKEMLDIR)/candle/prover[0m
Scanning [1m$(CAKEMLDIR)/compiler/repl[0m
Scanning [1m$(CAKEMLDIR)/compiler/bootstrap/translation[0m
Scanning [1m$(CAKEMLDIR)/developers/bin[0m
Scanning [1m$(CAKEMLDIR)/unverified/sexpr-bootstrap[0m
Starting work on cake.S
Finished $(CAKEMLDIR)/unverified/sexpr-bootstrap                                                                                                                                                                                    (0.000s) 
Starting work on README.md
Starting work on cake-sexpr-x64-64
cake.S                                                                                                                                                                                                           developers/bin  (0s)     OK
README.md                                                                                                                                                                                     unverified/sexpr-bootstrap/x64/64  (0s)     OK
cake-sexpr-x64-64                                                                                                                                                                             unverified/sexpr-bootstrap/x64/64(150s)     OK
Starting work on cake.S
cake.S                                                                                                                                                                                        unverified/sexpr-bootstrap/x64/64(920s)     OK
Starting work on cake
cake                                                                                                                                                                                          unverified/sexpr-bootstrap/x64/64 (12s)FAIL<2>
 cc    -c -o cake.o cake.S
 cc    -c -o basis_ffi.o basis_ffi.c
 cc  cake.o basis_ffi.o   -o cake
 basis_ffi.o: In function `main':
 basis_ffi.c:(.text+0xa1d): undefined reference to `cake_codebuffer_end'
 basis_ffi.c:(.text+0xa24): undefined reference to `cake_text_begin'
 basis_ffi.c:(.text+0xa39): undefined reference to `cake_text_begin'
 collect2: error: ld returned 1 exit status
 make: *** [cake] Error 1
 Makefile:35: recipe for target 'cake' failed