#include <boost/pool/pool_alloc.hpp>
int main() {
void* tmp;
typedef boost::singleton_pool<boost::pool_allocator_tag, 4u, boost::default_user_allocator_new_delete, boost::details::pool::pthread_mutex, 32u>pool_type0;
tmp = pool_type0::ordered_malloc(0);
void* p0x18023030 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x180231c0 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x18023410 = tmp;
pool_type0::ordered_free(p0x18023030, 0);
tmp = pool_type0::ordered_malloc(0);
void* p0x180238d0 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x18024120 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x18025170 = tmp;
pool_type0::ordered_free(p0x180231c0, 0);
pool_type0::ordered_free(p0x18023410, 0);
tmp = pool_type0::ordered_malloc(0);
void* p0x180271c0 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x1802b2b0 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x18033300 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae963f83010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae963fad010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae963fee010 = tmp;
pool_type0::ordered_free(p0x180238d0, 0);
pool_type0::ordered_free(p0x18024120, 0);
pool_type0::ordered_free(p0x18025170, 0);
pool_type0::ordered_free(p0x180271c0, 0);
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae96406f010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae964170010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae964371010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae964772010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae964f73010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae965f74010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae967f75010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae96bf76010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae973f77010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae983f78010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae9a3f79010 = tmp;
tmp = pool_type0::ordered_malloc(0);
void* p0x2ae9e3f7a010 = tmp;
pool_type0::ordered_free(p0x1802b2b0, 0);
pool_type0::ordered_free(p0x18033300, 0);
pool_type0::ordered_free(p0x2ae963f83010, 0);
pool_type0::ordered_free(p0x2ae963fad010, 0);
pool_type0::ordered_free(p0x2ae963fee010, 0);
pool_type0::ordered_free(p0x2ae96406f010, 0);
pool_type0::ordered_free(p0x2ae964170010, 0);
pool_type0::ordered_free(p0x2ae964371010, 0);
tmp = pool_type0::ordered_malloc(0);
void* p0x2aea63f7b010 = tmp;
tmp = pool_type0::ordered_malloc(0);