build_example_executable_monofile(MpIntExample)
