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