simva-trace-allocator