# Run a command including UTF-8 characters.
#
# RUN: echo £