stdout.printf ("UTF-8 encoded string. Let's go to a café!");