 {
   while test $[#] -ne 0; do
     case $[1] in
-	--*=*)
-	    opt=$(echo "$[1]" | sed -e 's/=.*//')
-	    val=$(echo "$[1]" | sed -e ['s/[^=]*=//'])
-	    shift
-	    set dummy "$opt" "$val" ${1+"$[@]"};
-	    shift
-	    ;;
+        (--*=*)
+            opt=$(echo "$[1]" | sed -e 's/=.*//')
+            val=$(echo "$[1]" | sed -e ['s/[^=]*=//'])
+            shift
+            set dummy "$opt" "$val" ${1+"$[@]"};
+            shift
+            ;;
     esac
 
     case $[1] in

ex_to_string ()
{
  case $[1] in
       0) echo ' (EX_OK: successful termination)';;
      64) echo ' (EX_USAGE: command line usage error)';;
      65) echo ' (EX_DATAERR: data format error)';;
      66) echo ' (EX_NOINPUT: cannot open input)';;
      67) echo ' (EX_NOUSER: addressee unknown)';;
      68) echo ' (EX_NOHOST: host name unknown)';;
      69) echo ' (EX_UNAVAILABLE: service unavailable)';;
      70) echo ' (EX_SOFTWARE: internal software error)';;
      71) echo ' (EX_OSERR: system error (e.g., cannot fork))';;
      72) echo ' (EX_OSFILE: critical OS file missing)';;
      73) echo ' (EX_CANTCREAT: cannot create (user) output file)';;
      74) echo ' (EX_IOERR: input/output error)';;
      75) echo ' (EX_TEMPFAIL: temp failure; user is invited to retry)';;
      76) echo ' (EX_PROTOCOL: remote error in protocol)';;
      77) echo ' (EX_NOPERM: permission denied)';;
      78) echo ' (EX_CONFIG: configuration error)';;
     176) echo ' (EX_SKIP: skip this test with unmet dependencies)';;
     177) echo ' (EX_HARD: hard error that cannot be saved)';;
     242) echo ' (killed by Valgrind)';;
      *)  if test 127 -lt $[1]; then
	    echo " (SIG$(kill -l $[1] || true))"
	  fi;;
  esac
}


is_absolute ()
{
  case $[1] in
    ([[\\/]]* | ?:[[\\/]]*) return 0;;
    (                    *) return 1;;
  esac
}

