This tool converts numeric identifiers to symbolic names. Signed-off-by: Michael Buesch <mb@bu3sch.de>