trace: emit name <-> ID mapping in simpletrace header