if [ "$#" -ne 1 ]; then
  echo "Usage: $0 Path to binary file" >&2
  exit 1
fi