punctuator: no conversion when 'ascii_punct' option is on.