Trace: syntax