1#include <inttypes.h>
2typedef uint32_t mpers_ptr_t;
3typedef
4int64_t mx32_time_t;
5#define MPERS_mx32_time_t mx32_time_t
6