allocator: verify allocation results