Symbol: dbg_tools_user_data