michael@0: #include <cstdio>
michael@0: 
michael@0: int main() {
michael@0:   std::printf("Called Windows executable: 2f7cdd0b-7277-48c1-beaf-56cb0dbacb24\n");
michael@0:   return 0;
michael@0: }