build_example_executable_monofile(pointst)
