disallowed-names = 42