const text_indent_getterinfo: JSJitInfo;