const writeln_methodinfo: JSJitInfo;