#ifndef ION_SIMULATOR_PLATFORM_INIT_H
  #define ION_SIMULATOR_PLATFORM_INIT_H
  
  #include <ion.h>
  
  extern Ion::Events::Event currentEvent;
  void init_platform();
  
  #endif