// // Prefix header for all source files of the 'VariMu' target in the 'VariMu' project. // #include