Working memory allocator