#include <sys/types.h>
#include "platform.h"

uint32_t platform;