diff -r aab8e139a149 -r 852021f38b66 tools/indentlevel.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/indentlevel.py	Sun Jul 03 12:20:26 2022 +0300
@@ -0,0 +1,14 @@
+#!/usr/bin/env python3
+import sys
+too_many = 6
+for filename in sys.argv[1:]:
+	with open(filename) as file:
+		at_start_of_new_block = False
+		old_n = 0
+		for linenumber, line in enumerate(file, 1):
+			import re
+			n = len(re.match('^(\t*).*$', line).group(1))
+			if at_start_of_new_block and n >= too_many and old_n < too_many:
+				print(f'{filename}:{linenumber}: warning: block with {n} indent levels', file = sys.stderr)
+			at_start_of_new_block = line.strip().endswith('{')
+			old_n = n