#!/bin/sh redo a read a1 = a2' >&2 else echo 'PASS: a1 < a2' >&2 fi