text: function main() {
  function v0(v1,v2) {
      const v4 = "function" % "function";
      // v4 = .integer | .float | .bigint
  }
  for (let v10 = 0; v10 < 100; v10 = v10 + 1) {
      const v11 = v0("127",13.37);
      // v11 = .unknown
  }
  }
  main();
  
  