const onmouseleave_setterinfo: JSJitInfo;