Symbol: tracepoint_user_within_module