single-char-binding-names-threshold = 9