Unicode-escaped characters are printed correctly.