#include <stdio.h>

void app();

int main() {
  printf("Hello World from the platform");
  app();
  return 0;
}