use DES_set_key_unchecked().
[heimdal.git] / lib / krb5 / verify_krb5_conf.c
blob2348fb604737e7563b1ecf504904ec85975e84cf
1 /*
2 * Copyright (c) 1999 - 2005 Kungliga Tekniska Högskolan
3 * (Royal Institute of Technology, Stockholm, Sweden).
4 * All rights reserved.
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in the
15 * documentation and/or other materials provided with the distribution.
17 * 3. Neither the name of the Institute nor the names of its contributors
18 * may be used to endorse or promote products derived from this software
19 * without specific prior written permission.
21 * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
22 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24 * ARE DISCLAIMED. IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
25 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
27 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
28 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
31 * SUCH DAMAGE.
34 #include "krb5_locl.h"
35 #include <getarg.h>
36 #include <parse_bytes.h>
37 #include <err.h>
38 RCSID("$Id$");
40 /* verify krb5.conf */
42 static int dumpconfig_flag = 0;
43 static int version_flag = 0;
44 static int help_flag = 0;
45 static int warn_mit_syntax_flag = 0;
47 static struct getargs args[] = {
48 {"dumpconfig", 0, arg_flag, &dumpconfig_flag,
49 "show the parsed config files", NULL },
50 {"warn-mit-syntax", 0, arg_flag, &warn_mit_syntax_flag,
51 "show the parsed config files", NULL },
52 {"version", 0, arg_flag, &version_flag,
53 "print version", NULL },
54 {"help", 0, arg_flag, &help_flag,
55 NULL, NULL }
58 static void
59 usage (int ret)
61 arg_printusage (args,
62 sizeof(args)/sizeof(*args),
63 NULL,
64 "[config-file]");
65 exit (ret);
68 static int
69 check_bytes(krb5_context context, const char *path, char *data)
71 if(parse_bytes(data, NULL) == -1) {
72 krb5_warnx(context, "%s: failed to parse \"%s\" as size", path, data);
73 return 1;
75 return 0;
78 static int
79 check_time(krb5_context context, const char *path, char *data)
81 if(parse_time(data, NULL) == -1) {
82 krb5_warnx(context, "%s: failed to parse \"%s\" as time", path, data);
83 return 1;
85 return 0;
88 static int
89 check_numeric(krb5_context context, const char *path, char *data)
91 long int v;
92 char *end;
93 v = strtol(data, &end, 0);
94 if(*end != '\0') {
95 krb5_warnx(context, "%s: failed to parse \"%s\" as a number",
96 path, data);
97 return 1;
99 return 0;
102 static int
103 check_boolean(krb5_context context, const char *path, char *data)
105 long int v;
106 char *end;
107 if(strcasecmp(data, "yes") == 0 ||
108 strcasecmp(data, "true") == 0 ||
109 strcasecmp(data, "no") == 0 ||
110 strcasecmp(data, "false") == 0)
111 return 0;
112 v = strtol(data, &end, 0);
113 if(*end != '\0') {
114 krb5_warnx(context, "%s: failed to parse \"%s\" as a boolean",
115 path, data);
116 return 1;
118 if(v != 0 && v != 1)
119 krb5_warnx(context, "%s: numeric value \"%s\" is treated as \"true\"",
120 path, data);
121 return 0;
124 static int
125 check_524(krb5_context context, const char *path, char *data)
127 if(strcasecmp(data, "yes") == 0 ||
128 strcasecmp(data, "no") == 0 ||
129 strcasecmp(data, "2b") == 0 ||
130 strcasecmp(data, "local") == 0)
131 return 0;
133 krb5_warnx(context, "%s: didn't contain a valid option `%s'",
134 path, data);
135 return 1;
138 static int
139 check_host(krb5_context context, const char *path, char *data)
141 int ret;
142 char hostname[128];
143 const char *p = data;
144 struct addrinfo hints;
145 char service[32];
146 int defport;
147 struct addrinfo *ai;
149 hints.ai_flags = 0;
150 hints.ai_family = PF_UNSPEC;
151 hints.ai_socktype = 0;
152 hints.ai_protocol = 0;
154 hints.ai_addrlen = 0;
155 hints.ai_canonname = NULL;
156 hints.ai_addr = NULL;
157 hints.ai_next = NULL;
159 /* XXX data could be a list of hosts that this code can't handle */
160 /* XXX copied from krbhst.c */
161 if(strncmp(p, "http://", 7) == 0){
162 p += 7;
163 hints.ai_socktype = SOCK_STREAM;
164 strlcpy(service, "http", sizeof(service));
165 defport = 80;
166 } else if(strncmp(p, "http/", 5) == 0) {
167 p += 5;
168 hints.ai_socktype = SOCK_STREAM;
169 strlcpy(service, "http", sizeof(service));
170 defport = 80;
171 }else if(strncmp(p, "tcp/", 4) == 0){
172 p += 4;
173 hints.ai_socktype = SOCK_STREAM;
174 strlcpy(service, "kerberos", sizeof(service));
175 defport = 88;
176 } else if(strncmp(p, "udp/", 4) == 0) {
177 p += 4;
178 hints.ai_socktype = SOCK_DGRAM;
179 strlcpy(service, "kerberos", sizeof(service));
180 defport = 88;
181 } else {
182 hints.ai_socktype = SOCK_DGRAM;
183 strlcpy(service, "kerberos", sizeof(service));
184 defport = 88;
186 if(strsep_copy(&p, ":", hostname, sizeof(hostname)) < 0) {
187 return 1;
189 hostname[strcspn(hostname, "/")] = '\0';
190 if(p != NULL) {
191 char *end;
192 int tmp = strtol(p, &end, 0);
193 if(end == p) {
194 krb5_warnx(context, "%s: failed to parse port number in %s",
195 path, data);
196 return 1;
198 defport = tmp;
199 snprintf(service, sizeof(service), "%u", defport);
201 ret = getaddrinfo(hostname, service, &hints, &ai);
202 if(ret == EAI_SERVICE && !isdigit((unsigned char)service[0])) {
203 snprintf(service, sizeof(service), "%u", defport);
204 ret = getaddrinfo(hostname, service, &hints, &ai);
206 if(ret != 0) {
207 krb5_warnx(context, "%s: %s (%s)", path, gai_strerror(ret), hostname);
208 return 1;
210 return 0;
213 static int
214 mit_entry(krb5_context context, const char *path, char *data)
216 if (warn_mit_syntax_flag)
217 krb5_warnx(context, "%s is only used by MIT Kerberos", path);
218 return 0;
221 struct s2i {
222 const char *s;
223 int val;
226 #define L(X) { #X, LOG_ ## X }
228 static struct s2i syslogvals[] = {
229 /* severity */
230 L(EMERG),
231 L(ALERT),
232 L(CRIT),
233 L(ERR),
234 L(WARNING),
235 L(NOTICE),
236 L(INFO),
237 L(DEBUG),
238 /* facility */
239 L(AUTH),
240 #ifdef LOG_AUTHPRIV
241 L(AUTHPRIV),
242 #endif
243 #ifdef LOG_CRON
244 L(CRON),
245 #endif
246 L(DAEMON),
247 #ifdef LOG_FTP
248 L(FTP),
249 #endif
250 L(KERN),
251 L(LPR),
252 L(MAIL),
253 #ifdef LOG_NEWS
254 L(NEWS),
255 #endif
256 L(SYSLOG),
257 L(USER),
258 #ifdef LOG_UUCP
259 L(UUCP),
260 #endif
261 L(LOCAL0),
262 L(LOCAL1),
263 L(LOCAL2),
264 L(LOCAL3),
265 L(LOCAL4),
266 L(LOCAL5),
267 L(LOCAL6),
268 L(LOCAL7),
269 { NULL, -1 }
272 static int
273 find_value(const char *s, struct s2i *table)
275 while(table->s && strcasecmp(table->s, s))
276 table++;
277 return table->val;
280 static int
281 check_log(krb5_context context, const char *path, char *data)
283 /* XXX sync with log.c */
284 int min = 0, max = -1, n;
285 char c;
286 const char *p = data;
288 n = sscanf(p, "%d%c%d/", &min, &c, &max);
289 if(n == 2){
290 if(c == '/') {
291 if(min < 0){
292 max = -min;
293 min = 0;
294 }else{
295 max = min;
299 if(n){
300 p = strchr(p, '/');
301 if(p == NULL) {
302 krb5_warnx(context, "%s: failed to parse \"%s\"", path, data);
303 return 1;
305 p++;
307 if(strcmp(p, "STDERR") == 0 ||
308 strcmp(p, "CONSOLE") == 0 ||
309 (strncmp(p, "FILE", 4) == 0 && (p[4] == ':' || p[4] == '=')) ||
310 (strncmp(p, "DEVICE", 6) == 0 && p[6] == '='))
311 return 0;
312 if(strncmp(p, "SYSLOG", 6) == 0){
313 int ret = 0;
314 char severity[128] = "";
315 char facility[128] = "";
316 p += 6;
317 if(*p != '\0')
318 p++;
319 if(strsep_copy(&p, ":", severity, sizeof(severity)) != -1)
320 strsep_copy(&p, ":", facility, sizeof(facility));
321 if(*severity == '\0')
322 strlcpy(severity, "ERR", sizeof(severity));
323 if(*facility == '\0')
324 strlcpy(facility, "AUTH", sizeof(facility));
325 if(find_value(severity, syslogvals) == -1) {
326 krb5_warnx(context, "%s: unknown syslog facility \"%s\"",
327 path, facility);
328 ret++;
330 if(find_value(severity, syslogvals) == -1) {
331 krb5_warnx(context, "%s: unknown syslog severity \"%s\"",
332 path, severity);
333 ret++;
335 return ret;
336 }else{
337 krb5_warnx(context, "%s: unknown log type: \"%s\"", path, data);
338 return 1;
342 typedef int (*check_func_t)(krb5_context, const char*, char*);
343 struct entry {
344 const char *name;
345 int type;
346 void *check_data;
347 int deprecated;
350 struct entry all_strings[] = {
351 { "", krb5_config_string, NULL },
352 { NULL }
355 struct entry all_boolean[] = {
356 { "", krb5_config_string, check_boolean },
357 { NULL }
361 struct entry v4_name_convert_entries[] = {
362 { "host", krb5_config_list, all_strings },
363 { "plain", krb5_config_list, all_strings },
364 { NULL }
367 struct entry libdefaults_entries[] = {
368 { "accept_null_addresses", krb5_config_string, check_boolean },
369 { "capath", krb5_config_list, all_strings, 1 },
370 { "check_pac", krb5_config_string, check_boolean },
371 { "clockskew", krb5_config_string, check_time },
372 { "date_format", krb5_config_string, NULL },
373 { "default_cc_name", krb5_config_string, NULL },
374 { "default_etypes", krb5_config_string, NULL },
375 { "default_etypes_des", krb5_config_string, NULL },
376 { "default_keytab_modify_name", krb5_config_string, NULL },
377 { "default_keytab_name", krb5_config_string, NULL },
378 { "default_realm", krb5_config_string, NULL },
379 { "dns_canonize_hostname", krb5_config_string, check_boolean },
380 { "dns_proxy", krb5_config_string, NULL },
381 { "dns_lookup_kdc", krb5_config_string, check_boolean },
382 { "dns_lookup_realm", krb5_config_string, check_boolean },
383 { "dns_lookup_realm_labels", krb5_config_string, NULL },
384 { "egd_socket", krb5_config_string, NULL },
385 { "encrypt", krb5_config_string, check_boolean },
386 { "extra_addresses", krb5_config_string, NULL },
387 { "fcache_version", krb5_config_string, check_numeric },
388 { "fcc-mit-ticketflags", krb5_config_string, check_boolean },
389 { "forward", krb5_config_string, check_boolean },
390 { "forwardable", krb5_config_string, check_boolean },
391 { "http_proxy", krb5_config_string, check_host /* XXX */ },
392 { "ignore_addresses", krb5_config_string, NULL },
393 { "kdc_timeout", krb5_config_string, check_time },
394 { "kdc_timesync", krb5_config_string, check_boolean },
395 { "log_utc", krb5_config_string, check_boolean },
396 { "maxretries", krb5_config_string, check_numeric },
397 { "scan_interfaces", krb5_config_string, check_boolean },
398 { "srv_lookup", krb5_config_string, check_boolean },
399 { "srv_try_txt", krb5_config_string, check_boolean },
400 { "ticket_lifetime", krb5_config_string, check_time },
401 { "time_format", krb5_config_string, NULL },
402 { "transited_realms_reject", krb5_config_string, NULL },
403 { "no-addresses", krb5_config_string, check_boolean },
404 { "v4_instance_resolve", krb5_config_string, check_boolean },
405 { "v4_name_convert", krb5_config_list, v4_name_convert_entries },
406 { "verify_ap_req_nofail", krb5_config_string, check_boolean },
407 { "max_retries", krb5_config_string, check_time },
408 { "renew_lifetime", krb5_config_string, check_time },
409 { "proxiable", krb5_config_string, check_boolean },
410 { "warn_pwexpire", krb5_config_string, check_time },
411 /* MIT stuff */
412 { "permitted_enctypes", krb5_config_string, mit_entry },
413 { "default_tgs_enctypes", krb5_config_string, mit_entry },
414 { "default_tkt_enctypes", krb5_config_string, mit_entry },
415 { NULL }
418 struct entry appdefaults_entries[] = {
419 { "afslog", krb5_config_string, check_boolean },
420 { "afs-use-524", krb5_config_string, check_524 },
421 { "encrypt", krb5_config_string, check_boolean },
422 { "forward", krb5_config_string, check_boolean },
423 { "forwardable", krb5_config_string, check_boolean },
424 { "proxiable", krb5_config_string, check_boolean },
425 { "ticket_lifetime", krb5_config_string, check_time },
426 { "renew_lifetime", krb5_config_string, check_time },
427 { "no-addresses", krb5_config_string, check_boolean },
428 { "krb4_get_tickets", krb5_config_string, check_boolean },
429 { "pkinit_anchors", krb5_config_string, NULL },
430 { "pkinit_win2k", krb5_config_string, NULL },
431 { "pkinit_win2k_require_binding", krb5_config_string, NULL },
432 { "pkinit_require_eku", krb5_config_string, NULL },
433 { "pkinit_require_krbtgt_otherName", krb5_config_string, NULL },
434 { "pkinit_require_hostname_match", krb5_config_string, NULL },
435 #if 0
436 { "anonymous", krb5_config_string, check_boolean },
437 #endif
438 { "", krb5_config_list, appdefaults_entries },
439 { NULL }
442 struct entry realms_entries[] = {
443 { "forwardable", krb5_config_string, check_boolean },
444 { "proxiable", krb5_config_string, check_boolean },
445 { "ticket_lifetime", krb5_config_string, check_time },
446 { "renew_lifetime", krb5_config_string, check_time },
447 { "warn_pwexpire", krb5_config_string, check_time },
448 { "kdc", krb5_config_string, check_host },
449 { "admin_server", krb5_config_string, check_host },
450 { "kpasswd_server", krb5_config_string, check_host },
451 { "krb524_server", krb5_config_string, check_host },
452 { "v4_name_convert", krb5_config_list, v4_name_convert_entries },
453 { "v4_instance_convert", krb5_config_list, all_strings },
454 { "v4_domains", krb5_config_string, NULL },
455 { "default_domain", krb5_config_string, NULL },
456 { "win2k_pkinit", krb5_config_string, NULL },
457 /* MIT stuff */
458 { "admin_keytab", krb5_config_string, mit_entry },
459 { "acl_file", krb5_config_string, mit_entry },
460 { "dict_file", krb5_config_string, mit_entry },
461 { "kadmind_port", krb5_config_string, mit_entry },
462 { "kpasswd_port", krb5_config_string, mit_entry },
463 { "master_key_name", krb5_config_string, mit_entry },
464 { "master_key_type", krb5_config_string, mit_entry },
465 { "key_stash_file", krb5_config_string, mit_entry },
466 { "max_life", krb5_config_string, mit_entry },
467 { "max_renewable_life", krb5_config_string, mit_entry },
468 { "default_principal_expiration", krb5_config_string, mit_entry },
469 { "default_principal_flags", krb5_config_string, mit_entry },
470 { "supported_enctypes", krb5_config_string, mit_entry },
471 { "database_name", krb5_config_string, mit_entry },
472 { NULL }
475 struct entry realms_foobar[] = {
476 { "", krb5_config_list, realms_entries },
477 { NULL }
481 struct entry kdc_database_entries[] = {
482 { "realm", krb5_config_string, NULL },
483 { "dbname", krb5_config_string, NULL },
484 { "mkey_file", krb5_config_string, NULL },
485 { "acl_file", krb5_config_string, NULL },
486 { "log_file", krb5_config_string, NULL },
487 { NULL }
490 struct entry kdc_entries[] = {
491 { "database", krb5_config_list, kdc_database_entries },
492 { "key-file", krb5_config_string, NULL },
493 { "logging", krb5_config_string, check_log },
494 { "max-request", krb5_config_string, check_bytes },
495 { "require-preauth", krb5_config_string, check_boolean },
496 { "ports", krb5_config_string, NULL },
497 { "addresses", krb5_config_string, NULL },
498 { "enable-kerberos4", krb5_config_string, check_boolean },
499 { "enable-524", krb5_config_string, check_boolean },
500 { "enable-http", krb5_config_string, check_boolean },
501 { "check-ticket-addresses", krb5_config_string, check_boolean },
502 { "allow-null-ticket-addresses", krb5_config_string, check_boolean },
503 { "allow-anonymous", krb5_config_string, check_boolean },
504 { "v4_realm", krb5_config_string, NULL },
505 { "enable-kaserver", krb5_config_string, check_boolean },
506 { "encode_as_rep_as_tgs_rep", krb5_config_string, check_boolean },
507 { "kdc_warn_pwexpire", krb5_config_string, check_time },
508 { "use_2b", krb5_config_list, NULL },
509 { "enable-pkinit", krb5_config_string, check_boolean },
510 { "pkinit_identity", krb5_config_string, NULL },
511 { "pkinit_anchors", krb5_config_string, NULL },
512 { "pkinit_pool", krb5_config_string, NULL },
513 { "pkinit_revoke", krb5_config_string, NULL },
514 { "pkinit_kdc_ocsp", krb5_config_string, NULL },
515 { "pkinit_principal_in_certificate", krb5_config_string, NULL },
516 { "pkinit_dh_min_bits", krb5_config_string, NULL },
517 { "pkinit_allow_proxy_certificate", krb5_config_string, NULL },
518 { "hdb-ldap-create-base", krb5_config_string, NULL },
519 { "v4-realm", krb5_config_string, NULL },
520 { NULL }
523 struct entry kadmin_entries[] = {
524 { "password_lifetime", krb5_config_string, check_time },
525 { "default_keys", krb5_config_string, NULL },
526 { "use_v4_salt", krb5_config_string, NULL },
527 { "require-preauth", krb5_config_string, check_boolean },
528 { NULL }
530 struct entry log_strings[] = {
531 { "", krb5_config_string, check_log },
532 { NULL }
536 /* MIT stuff */
537 struct entry kdcdefaults_entries[] = {
538 { "kdc_ports", krb5_config_string, mit_entry },
539 { "v4_mode", krb5_config_string, mit_entry },
540 { NULL }
543 struct entry capaths_entries[] = {
544 { "", krb5_config_list, all_strings },
545 { NULL }
548 struct entry password_quality_entries[] = {
549 { "policies", krb5_config_string, NULL },
550 { "external_program", krb5_config_string, NULL },
551 { "min_classes", krb5_config_string, check_numeric },
552 { "min_length", krb5_config_string, check_numeric },
553 { "", krb5_config_list, all_strings },
554 { NULL }
557 struct entry toplevel_sections[] = {
558 { "libdefaults" , krb5_config_list, libdefaults_entries },
559 { "realms", krb5_config_list, realms_foobar },
560 { "domain_realm", krb5_config_list, all_strings },
561 { "logging", krb5_config_list, log_strings },
562 { "kdc", krb5_config_list, kdc_entries },
563 { "kadmin", krb5_config_list, kadmin_entries },
564 { "appdefaults", krb5_config_list, appdefaults_entries },
565 { "gssapi", krb5_config_list, NULL },
566 { "capaths", krb5_config_list, capaths_entries },
567 { "password_quality", krb5_config_list, password_quality_entries },
568 /* MIT stuff */
569 { "kdcdefaults", krb5_config_list, kdcdefaults_entries },
570 { NULL }
574 static int
575 check_section(krb5_context context, const char *path, krb5_config_section *cf,
576 struct entry *entries)
578 int error = 0;
579 krb5_config_section *p;
580 struct entry *e;
582 char *local;
584 for(p = cf; p != NULL; p = p->next) {
585 asprintf(&local, "%s/%s", path, p->name);
586 for(e = entries; e->name != NULL; e++) {
587 if(*e->name == '\0' || strcmp(e->name, p->name) == 0) {
588 if(e->type != p->type) {
589 krb5_warnx(context, "%s: unknown or wrong type", local);
590 error |= 1;
591 } else if(p->type == krb5_config_string && e->check_data != NULL) {
592 error |= (*(check_func_t)e->check_data)(context, local, p->u.string);
593 } else if(p->type == krb5_config_list && e->check_data != NULL) {
594 error |= check_section(context, local, p->u.list, e->check_data);
596 if(e->deprecated) {
597 krb5_warnx(context, "%s: is a deprecated entry", local);
598 error |= 1;
600 break;
603 if(e->name == NULL) {
604 krb5_warnx(context, "%s: unknown entry", local);
605 error |= 1;
607 free(local);
609 return error;
613 static void
614 dumpconfig(int level, krb5_config_section *top)
616 krb5_config_section *x;
617 for(x = top; x; x = x->next) {
618 switch(x->type) {
619 case krb5_config_list:
620 if(level == 0) {
621 printf("[%s]\n", x->name);
622 } else {
623 printf("%*s%s = {\n", 4 * level, " ", x->name);
625 dumpconfig(level + 1, x->u.list);
626 if(level > 0)
627 printf("%*s}\n", 4 * level, " ");
628 break;
629 case krb5_config_string:
630 printf("%*s%s = %s\n", 4 * level, " ", x->name, x->u.string);
631 break;
637 main(int argc, char **argv)
639 krb5_context context;
640 krb5_error_code ret;
641 krb5_config_section *tmp_cf;
642 int optidx = 0;
644 setprogname (argv[0]);
646 ret = krb5_init_context(&context);
647 if (ret == KRB5_CONFIG_BADFORMAT)
648 errx (1, "krb5_init_context failed to parse configuration file");
649 else if (ret)
650 errx (1, "krb5_init_context failed with %d", ret);
652 if(getarg(args, sizeof(args) / sizeof(args[0]), argc, argv, &optidx))
653 usage(1);
655 if (help_flag)
656 usage (0);
658 if(version_flag){
659 print_version(NULL);
660 exit(0);
663 argc -= optidx;
664 argv += optidx;
666 tmp_cf = NULL;
667 if(argc == 0)
668 krb5_get_default_config_files(&argv);
670 while(*argv) {
671 ret = krb5_config_parse_file_multi(context, *argv, &tmp_cf);
672 if (ret != 0)
673 krb5_warn (context, ret, "krb5_config_parse_file");
674 argv++;
677 if(dumpconfig_flag)
678 dumpconfig(0, tmp_cf);
680 return check_section(context, "", tmp_cf, toplevel_sections);