(executable
 (public_name spicec)
 (name main)
 (modules main)
 (libraries spice fmt logs))

(executable
 (public_name spice_bctest)
 (name bctest)
 (modules bctest)
 (libraries fmt logs))

(executable
 (public_name spice_bcgtest)
 (name bcgtest)
 (modules bcgtest)
 (libraries spice fmt logs))