1# These commands must run under both bash and windows cmd.exe (with GnuWin322# tools).3 4# RUN: true5# RUN: false6# RUN: true7