spacetoken

spacetoken can be used to keep track of how much of a resource has been allocted. It can be thought of as an allocator that is decoupled from the actual allocatable resource.