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