Symbol: TRACING_MAP_ELT