build_test_executable_monofile(mpsintest)
build_test_executable_monofile(MpIntervalTest)
