#ifndef PLATFORM_INCLUDED
#define PLATFORM_INCLUDED

extern int plat_main(void);

#endif // platform.h