const textLength_getterinfo: JSJitInfo;