#include <cstdio>

int main() {
  std::printf("Called Windows executable: 2f7cdd0b-7277-48c1-beaf-56cb0dbacb24\n");
  return 0;
}