const multiply_methodinfo: JSJitInfo;