Trace: valid-ki tc13