const prompt_methodinfo: JSJitInfo;