Lines Matching full:interpret
900 Specifies the binary input file that \texttt{btt} will interpret traces
