#include <ion.h>
#include "../init.h"

int main(int argc, char * argv[]) {
  init_platform();
  ion_main(argc, argv);
}