void pushLocalTraceOnto(CircularQueue &queue, const long envId) { givenStackTrace(envId); CHECK(queue.push(trace)); }