The Clozure CL documentation of the TRACE extensions could stand to include some examples. Inferring the syntax from the informal grammar is doable but time-consuming.