Put buffer size and pointer size in trace file header.