const scroll_setterinfo: JSJitInfo;