-c traces/syn-array-short.rep -D
