svoid test_tok_numberFunctionNames() {
  testTranspilationFunction tok_numberFunctionNames(
    "1to(100)",
    "oneTo(100)",
  );
}