#include <ion.h>
  #include "../init.h"
  
  int main(int argc, char * argv[]) {
    init_platform();
    ion_main(argc, argv);
  }