add_executable(spec2def spec2def.c)