#include <stdio.h>
#include "platform.h"

int main(int argc, char **argv)
{
	return platform_run(argc, argv);
}