; (test
;  (name test_nock)
;  (modules test_nock)
;  (libraries nock_lib zarith))

; (test
;  (name test_serial)
;  (modules test_serial)
;  (libraries nock_lib zarith))

; (test
;  (name test_jam_debug)
;  (modules test_jam_debug)
;  (libraries nock_lib zarith))

; (test
;  (name bench_nock)
;  (modules bench_nock)
;  (libraries nock_lib zarith unix))

; (test
;  (name bench_serial)
;  (modules bench_serial)
;  (libraries nock_lib zarith unix))

; (executable
;  (name bench_cue_pill)
;  (modules bench_cue_pill)
;  (libraries nock_lib unix))

; (executable
;  (name test_roundtrip)
;  (modules test_roundtrip)
;  (libraries nock_lib zarith))

; (executable
;  (name test_bench_one)
;  (modules test_bench_one)
;  (libraries nock_lib zarith))

; (executable
;  (name jam_compare)
;  (modules jam_compare)
;  (libraries nock_lib zarith))

; (executable
;  (name test_hex)
;  (libraries nock_lib))

; (executable
;  (name test_eventlog)
;  (modules test_eventlog)
;  (libraries nock_lib eio_main))

; (executable
;  (name test_state)
;  (modules test_state)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_multicore)
;  (modules test_multicore)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_runtime)
;  (modules test_runtime)
;  (libraries nock_lib io_drivers eio_main unix))

; (executable
;  (name test_parallel_nock)
;  (modules test_parallel_nock)
;  (libraries nock_lib eio_main unix domainslib))

; (executable
;  (name test_ames)
;  (modules test_ames)
;  (libraries nock_lib io_drivers eio_main unix))

; (executable
;  (name test_http)
;  (modules test_http)
;  (libraries nock_lib io_drivers eio_main unix))

; (executable
;  (name test_clay)
;  (modules test_clay)
;  (libraries nock_lib io_drivers eio_main unix))

; (executable
;  (name test_dill_iris)
;  (modules test_dill_iris)
;  (libraries nock_lib io_drivers eio_main unix))

; (executable
;  (name test_arvo)
;  (modules test_arvo)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_arvo_structure)
;  (modules test_arvo_structure)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_poke_formulas)
;  (modules test_poke_formulas)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_arms)
;  (modules test_arms)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_pill_depth)
;  (modules test_pill_depth)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_real_arvo)
;  (modules test_real_arvo)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_cvere_poke)
;  (modules test_cvere_poke)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_arvo_real_poke)
;  (modules test_arvo_real_poke)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_solid_structure)
;  (modules test_solid_structure)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_boot_solid_events)
;  (modules test_boot_solid_events)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_poke_solid_arvo)
;  (modules test_poke_solid_arvo)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_brass_cue)
;  (modules test_brass_cue)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_arvo_poke_correct)
;  (modules test_arvo_poke_correct)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_arvo_slots)
;  (modules test_arvo_slots)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_ivory_boot)
;  (modules test_ivory_boot)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_ivory_structure)
;  (modules test_ivory_structure)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_solid_boot)
;  (modules test_solid_boot)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name cache_solid)
;  (modules cache_solid)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_boot_arvo_properly)
;  (modules test_boot_arvo_properly)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name inspect_boot_events)
;  (modules inspect_boot_events)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name inspect_events_simple)
;  (modules inspect_events_simple)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_solid_cvere_pattern)
;  (modules test_solid_cvere_pattern)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name explore_kernel_structure)
;  (modules explore_kernel_structure)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_slam_directly)
;  (modules test_slam_directly)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_boot_with_slam)
;  (modules test_boot_with_slam)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name inspect_event4_detail)
;  (modules inspect_event4_detail)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name compare_events_3_4)
;  (modules compare_events_3_4)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name examine_event3_effects)
;  (modules examine_event3_effects)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_functional_bios)
;  (modules test_functional_bios)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name debug_event4_slam)
;  (modules debug_event4_slam)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_event4_slot42)
;  (modules test_event4_slot42)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_correct_boot)
;  (modules test_correct_boot)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name parse_solid_pill)
;  (modules parse_solid_pill)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name examine_pill_events)
;  (modules examine_pill_events)
;  (libraries nock_lib eio_main unix))

; (executable
;  (name test_life_on_bot)
;  (modules test_life_on_bot)
;  (libraries nock_lib eio_main unix))

(executable
 (name test_two_stage_boot)
 (modules test_two_stage_boot)
 (libraries nock_lib eio_main unix))

; (executable
;  (name test_life_formula)
;  (modules test_life_formula)
;  (libraries nock_lib))

; (executable
;  (name examine_ivory)
;  (modules examine_ivory)
;  (libraries nock_lib eio_main))

; (executable
;  (name test_two_phase_boot)
;  (modules test_two_phase_boot)
;  (libraries nock_lib eio_main))