const text_indent_setterinfo: JSJitInfo;