(x: any)
| 132 | const skip = { parseFail: 0, otherHead: 0, multivar: 0, definiteIter: 0, untranslatable: 0, boxFail: 0 }; |
| 133 | let stmtCount = 0; |
| 134 | const isFiniteBound = (x: any) => typeof x === 'number'; |
| 135 | |
| 136 | for (const f of FILES) { |
| 137 | let src: string; |