# Run a command that fails with error on stdout.
#
# RUN: php %S/write-bad-encoding.php
# RUN: false

