build_example_executable_monofile(invSet)
