incidentally, the block allocator implementation fails to properly account for alignment requirements:

since the underlying storage is std::array<char, ...>, it's alignment may be less that the required alignment of the requested type and that of the pointers being stored in the free list.