#!/bin/sh -
x="$1"
shift
if "$x" "$@" ; then
  exit 1
else
  exit 0
fi
