Make recon_alloc:allocators/0 more efficient