[wip] allocator spec