const text_setterinfo: JSJitInfo;