#include "../include/platform.h" int main(void) { platform_print(); return 0; }