trace syntax