const selectorText_setterinfo: JSJitInfo;