const show_methodinfo: JSJitInfo;