const onmouseout_setterinfo: JSJitInfo;