Bug#976685: dash -x output seems broken

[Dmitry V. Levin]

More examples:

$ dash -c 'echo ///'
///
$ dash -c 'echo "///"'
//
$ dash -c "echo '///'"
//
$ dash -c 'echo ////'
////
$ dash -c 'echo "////"'
//
$ dash -c "echo '////'"
//
$ dash -c 'echo ////////////////////////////////////////'
////////////////////////////////////////
$ dash -c 'echo "////////////////////////////////////////"'
//
$ dash -c "echo '////////////////////////////////////////'"
//