#include <iostream>

void app();

int main() {
  std::cout << "Hello World from the platform\n";
  app();
  return 0;
}