// CHAR contains exactly one character.
OUTPUT 'ab'