A basic stack allocator