const textIndent_setterinfo: JSJitInfo;