add_executable(gen-zam)
target_sources(gen-zam PRIVATE Gen-ZAM.cc)
