Tag: single-character names.