BlockAllocator and tests for simple cases