PATCH: tools/make_requests (was: PATCH: server/trace.c cleanup)