single-char-binding-names-threshold = 1000