#include <inttypes.h>
typedef uint32_t mpers_ptr_t;
typedef
int64_t mx32_time_t;
#define MPERS_mx32_time_t mx32_time_t