const onmouseover_setterinfo: JSJitInfo;